Delete benchmark

Deletes the leaderboard definition. Measurements and submitted results are retained.