added an admin servlet to export exercise data as JSON

We check to ensure that the authenticated user is a course
instructor, the same as we do with the Problems servlet.