Added an AUTHORS file.

I used this command to get the list, and I used my brain to eliminate
duplicates, since many people used variations of their names and
addresses to make commits.

$ git log --format='%aN (%aE)' | sort -u
Add a note about the AUTHORS file to the dev docs.
Resort the AUTHORS list by last name.
Merge branch 'rbarlow-authors'