Add mail aliases for Carl, Colin, Janek, and Pál, for the sake of git shortlog

.mailmap

Index: .mailmap
diff --git a/.mailmap b/.mailmap
index ac9bad10287b1bc6e11547a5c74d5f1d12c622eb..a8ae3180ee8e9461f7c339ce3e30abafa74cf437 100644
--- a/.mailmap
+++ b/.mailmap
@@ -2,10 +2,13 @@ Andrew Hawryluk <ahawryluk@gmail.com>
 Andrew Hawryluk <andrew@obi-wan.(none)>
 Andrew Wilson <andrew@rivendale.net>
 Arjan Bos <arjan.bos@hetnet.nl>
+Benkő Pál <benko.pal@gmail.com>

[janek, 2012/05/13 07:13:08]

It seems that this document is in the format <given name> <surname>, so here it
should be Pál Benkő (unless i'm heavily mistaken).

[dak, 2012/05/13 07:45:51]

I'd rather say it is in the format

    full name <mail address>

and Hungarians happen to put the given name last in the full name.  Unless I am
mistaken, this is the same with "Hu Haipeng".

Without a pressing reason to do otherwise, I would tend to keep the names in
their natural order.

[benko.pal, 2012/05/13 07:59:25]

I don't have a strong preference either way: on one hand I like to find myself
under B rather than P; on the other hand I like people not confusing my given
name and surname.

 Boris Shingarov <b1@shingarov.com>
 Boris Shingarov <shingarov@gmail.com>
 Carl D. Sorensen <carldsorensen>
 Carl D. Sorensen <c_sorensen@byu.edu>
+Carl D. Sorensen <carl.d.sorensen@gmail.com>
+Colin Campbell <colinpkcampbell@gmail.com>
 Chris Snyder <csnyder@adoromusicpub.com>
 Damien Heurtebise <famille.heurtebise@free.fr>
 Daniel Johnson <il.basso.buffo@gmail.com>
@@ -102,6 +105,9 @@ James Lowe <james@james-lilybunto.(none)>
 James Lowe <james@james-lily.(none)>
 James Lowe <james.lowe@datacore.com>
 James Lowe <jlowe@james-ubuntu.(none)>
+Janek Warchoł <janek.lilypond@gmail.com>
+Janek Warchoł <lemniskata.bernoullego@gmail.com>
+Janek Warchoł <lemniskata.bernoulliego@gmail.com>
 Jan Nieuwenhuizen <jan>
 Jan Nieuwenhuizen <janneke>
 Jan Nieuwenhuizen <janneke@gnu.org>