Add .mailmap file

fingolfin · fingolfin · commit 9c4b84e7b846 · 2017-07-20T10:45:14.000+02:00
This makes the output of `git shortlog` more useful. Try e.g.
  git shortlog -sne
diff --git a/.mailmap b/.mailmap
@@ -0,0 +1,5 @@
+Isabella Scott <is48@st-andrews.ac.uk> <isabellascott@8afbf1d2.st-andrews.ac.uk>
+James Mitchell <jdm3@st-and.ac.uk> <james-d-mitchell@users.noreply.github.com>
+James Mitchell <jdm3@st-and.ac.uk> <jdm3@st-andrews.ac.uk>
+Jan De Beule <jdebeule@cage.ugent.be>
+Jan De Beule <jdebeule@cage.ugent.be> jdebeule <unknown>

-Original file line number
+Diff line change
@@ @@ -0,0 +1,5 @@ @@
 +Isabella Scott <[email protected]> <[email protected]>
 +James Mitchell <[email protected]> <[email protected]>
 +James Mitchell <[email protected]> <[email protected]>
 +Jan De Beule <[email protected]>
 +Jan De Beule <[email protected]> jdebeule <unknown>