UX improvements for leaderboard rankings table: make filenames clickable

[b9r5]

If submissions could be marked as public, then we could make the filename leaderboard rankings table a clickable link to the submission, which could be engaging.