An HTML5 WebSocket/Telnet client