Updates and fixes to the tornado server
Changes to codecompetitions database and language interface
Tiny changes and a new libs function
Most of the websocket framework and JS frontend for codecompetitions