Add varying levels of precision to TimeTaker
Masterserver: report gameid, uptime, cosmetic fixes on server web page
Fix backward compatibility for server uptime in master server web page
Fix build on Linux with some glibcs
GUI: Make singleplayer default tab, store selected serverlist, show title of serverlist