Merge pull request #3422 from jenshnielsen/use_mailmap

DOC : Use mailmap in github stats