Linux ports
Added scripts for creating a leaderboard database out of archived data. Includes many bug fixes and a few new features.
HTMLIFY!