HTML5 client #162
Description
It would be great to have an HTML5 client, to let people play the game from any modern web browser. That would mean squeezing the UI into one window, converting a bunch of Python to JavaScript, and switching the network protocol from PB to JSON over websockets.