Update contributors
Created by: kevinburke
Regenerate the AUTHORS.txt file by adding back each line in turn from each contributor.
For posterity, used the following script to regenerate the file: https://gist.github.com/kevinburke/a7b45a96328cfc46a8a5eaa697ad5a0e