Add --all option to dxr-serve.py as a shorter way of saying --host 0.0.0.0