A Python WAMP server implementation using gevent-websocket