Add "Download CSV of all student anonymized IDs" button to instructor dashboard

This is a recurrent ops problem, so we wanted to make it available
on the instructor dashboard.
WIP