For the admins: in the rankings, user points are now links to the solutions. Closes #385