Simple websocket server built with tornado