src: improve tooling around AUTHORS file

Replace tools/updateAuthors.awk with tools/update-authors.js. The new
tool generates an AUTHORS file that is stable-ordered alphanumerically.

The new tool also generates a .mailmap file that is essentially the same
content as the AUTHORS file, but with all email addresses used by each
author when committing changes to the repo.

Author: Julien Gilli