Some contributors use multiple email addresses and/or invalid email addresses. Add a .mailmap file to de-duplicate and fix contributors names with git shortlog. Signed-off-by: Robin Jarry <robin@jarry.cc>
