AUTHORS.txt: use email instead of github username

This decouples authorship from github, in case anyone wants to fork and
host the fork elsewhere.
Merge pull request #16 from larsbutler/authors-format

AUTHORS.txt: use email instead of github username