Websocket server using Tornado with an easy to use callback registry mechanism