AUTHORS.txt: use email instead of github username

This decouples authorship from github, in case anyone wants to fork and
host the fork elsewhere.