Add more options to dxr-serve.py

-h, --host      Hostname to bind to
-j, --jobs      Number of processes to use
-t, --threaded  Use a separate thread for each request