adds stefan's commit names to mailmap