Add sorting by metric to the leaderboard to fix #124