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. @jrbl

Jane is testing it on my machine.