Add the students to the AUTHORS file.

The upcoming beta has contributions from a number of our students, so we
want to add them to the list of contributors.