Create AUTHORS

Redundant with the git history but useful to track copyright in general