Instructor API endpoint: IRC auth token

Adds /instructor/api/irc_instructor_auth_token API endpoint which
returns a JSON blob including a per-course magic key iff the logged-in
user is an instructor in the course.