Update AUTHORS file

Raised by #9186: `AUTHORS` file was outdated, and generation script referred to the `hack` subdirectory which has now been renamed to `project`. Notice that a few people are listed more than once because of multiple email addresses used: I didn't clean them out, tell me if this is an issue.