Python 3 port of the gevent-websocket module