.mailmap: put a.r.k..@gmail.com under a single name

Avoid dup in 'git shortlog'.