Add vnc option to configure the websocket proxy

'vnc --ws' will configure a RemoteDisplay.vnc.webSocket.port and
rather than spawn a VNC client, prints a noVNC.com URL which can
be opened in any HTML5 compliant browser.