A simple WebSocket server using Tornado.