Simple HTML5 Websocket and Tornado based IRC Web Server and Client