More and smarter trophies

* Don't display a trophy when > 1/2 of the game's participants are eligible for it
* Better web design
* Some trophies have award names... dunno if I'll keep that. Probably, if I can get overlays for them
Change font in header lists.

This makes the times look nicer.