maint: remove duplicate names from THANKS

* .mailmap: Adjust so that there is only a single
entry per name in the generated THANKS.