doc: update AUTHORS file, add tool for doing it

Update the list to give a bit of love to those who have contributed.

Generated automatically from the git log, see attached tool, still needs to be done regularly