Add .mailmap

Now git shortlog -ns has no duplicates. Also, I wanted an excuse to exercise
my push access :)