Add .mailmap (#328)

Most entries taken from Coq's .mailmap.  For better `git shortlog -nse`.

.mailmap

@@ -0,0 +1,41 @@
+## This file allows joining the different accounts of the same person.
+## Cf for instance: git shortlog -nse. More details via: man git shortlog
+##
+## If you're mentioned here and want to update your information,
+## amend this file and submit a pull request.
+
+Ali Caglayan <[email protected]>                       Alizter <[email protected]>
+Emilio Jesús Gallego Arias <[email protected]>                 Emilio Jesus Gallego Arias <[email protected]>
+Emilio Jesús Gallego Arias <[email protected]>                 Emilio Jesús Gallego Arias <[email protected]>
+Emilio Jesús Gallego Arias <[email protected]>                 ejgallego <[email protected]>
+Emilio Jesús Gallego Arias <[email protected]>                 ejgallego <[email protected]>
+Erik Martin-Dorel <[email protected]>          Erik Martin-Dorel <[email protected]>
+Erik Martin-Dorel <[email protected]>          erikmd <[email protected]>
+Gaëtan Gilbert <[email protected]>         <[email protected]>
+Gaëtan Gilbert <[email protected]>         <[email protected]>
+Gaëtan Gilbert <[email protected]>         SkySkimmer <[email protected]>
+Gaëtan Gilbert <[email protected]>         <Gaëtan Gilbert <[email protected]>
+Hannes Mehnert <[email protected]>                    Hannes Mehnert <[email protected]>
+Jason Gross <[email protected]>                           Jason Gross <[email protected]>
+Jason Gross <[email protected]>                           Jason Gross <[email protected]>
+Jason Gross <[email protected]>                           JasonGross <[email protected]>
+Joseph Price <[email protected]>                  Joseph Price <[email protected]>
+Julien Coolen <[email protected]>                         Julien Coolen <[email protected]>
+Maxime Dénès <[email protected]>                     mdenes <mdenes@85f007b7-540e-0410-9357-904b9bb8a0f7>
+Maxime Dénès <[email protected]>                     Maxime Denes <[email protected]>
+Maxime Dénès <[email protected]>                     Maxime Dénès <[email protected]>
+Maxime Dénès <[email protected]>                     Maxime Dénès <[email protected]>
+Maxime Dénès <[email protected]>                     maximedenes <[email protected]>
+Pierre-Marie Pédrot <[email protected]>     ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
+Pierre-Marie Pédrot <[email protected]>     Pierre-Marie Pédrot <[email protected]>
+Pierre-Marie Pédrot <[email protected]>     ppedrot <[email protected]>
+Pierre-Marie Pédrot <[email protected]>     <Pierre-Marie Pédrot <[email protected]>
+Théo Zimmermann <[email protected]>     Théo Zimmermann <[email protected]>
+Théo Zimmermann <[email protected]>     Theo Zimmermann <[email protected]>
+Théo Zimmermann <[email protected]>     Théo Zimmermann <[email protected]>
+Théo Zimmermann <[email protected]>     Théo Zimmermann <[email protected]>
+Théo Zimmermann <[email protected]>     Zimmi48 <[email protected]>
+Théo Zimmermann <[email protected]>     Zimmi48 <[email protected]>
+Théo Zimmermann <[email protected]>     <Théo Zimmermann <[email protected]>
+Wenceslao Mateos <[email protected]>           Wenceslao Mateos <[email protected]>
+Mattias <[email protected]>  mattiasdrp <[email protected]>