Leaderboard support for TvC

Big commit. Long story, but this is what it takes
to support the leaderboard in the game. And my webpage
that displays the leaderboard in a browser for people
who don't have the game or just don't want to turn it on
at that moment.