Make the WebSocket host and port configurable

- The `server' CLI command now supports two new options
  `--websocket-host' and `--websocket-port' to specify the host and
  port for the WebSocket connection on startup.
- The frontend now connects back to the server on the initial
  request (and on forced reload) to determin the WebSocket host
  and port dynamically.