Edited Authors

CONTRIBUTING suggests that a pull request should also include adding
one's name (and Github username) to AUTHORS, so doing this