Simple websocket example with javascript client and python Tornado server files