A websocket server written in Python 3