Replace AUTHORS file by the list of contributors on GitHub.

Quoting Rob:
> I'm +1 on removing AUTHORS and pointing to the github contributors.
> I like that solution.