Adds the number of users on leaderboard.
Start of models.py for the additional metrics thing I'm working on.
Adds to settings.py