Python tornado-based websocket framework