Fix #103 on the server side (still have to fix client).
Fix genincludes.py so that javascript files are always included in the same order across different systems.
Move clock and controls out to where they belong (they are no longer used exclusively by player).
update index.html to use tabs like everything else.