Add detailed results to the leaderboard

It is currently possible to allow detailed results, meaning a `html` file giving more detailed submission output to participants.

However, there is no option to add a link to these detailed results from the leaderboard.

This is very important, and more generally, detailed results (on leaderboard or not) are a good practice to make competitions more interactive and interesting.