A .mailmap file for a nice git-shorlog display

 In particular, this file allows to merge duplicated identities
 of a same person. See man git shortlog for more details.
update .mailmap with my email now that I've used it in a commit