Websocket server written in python with html5 client