Establish websocket to the Theia instance

... must have been lost in the open sourcing.