Leaderboard changes

New function in UserTools to query leader board, and php on leader
board page to show results.