SSH in WebSockets