Add AUTHORS file

Populated with

    git log --reverse --format="%aN <%aE>" | awk ' !x[$0]++' > AUTHORS