clean up mailmap/deduplicate contributors

Notably, @vmichel was listed twice for 48 and 22 commits, resp.