Add mailmap file to ease git statistics