Much faster leaderboard merge.
Much faster leaderboard merge.

Only takes 35 requests instead of ~1500 requests for old version.

Signed-off-by: Anton Nesterov <b2179c3b5ccc99ca2818383d35bc4f9bb4ff3148@znscode.net>

Cockie/CBLeaderboardinator