Fix leaderboard average. (#141)

leaderboard() was displaying model_avgrating, but it was stale.  Fixed:
leaderboard uses its own average *and* updates the database.