Add a Git .mailmap

...to make `git shortlog -es` look nicer.