WebSocket: specify server host and port via command-line options