Converts AUTHORS to humans.txt

See http://humanstxt.org/ for an explination why this is a good idea.