mailmap: make roald@roaldvanloon.nl primary

It seems more appropriate than @gmail.com

Signed-off-by: Loic Dachary <loic@dachary.org>