Server capacity increased; leaderboards logic updated.

We increased the server capacity. This should mitigate the slowness issues due to the unexpected number of participants/submissions.

We updated the logic of how we compute the leaderboard; now there can be only one submission per user.