Added anon/show names

Added another tag leaderboard_display_student_ids to determine whether
to show names