Update authors

The AUTHORS file had become out of date, so fix it.  At the same time add a .mailmap file to canonicalize commit authors in `git shortlog`