[ git ] Added more author spellings to .mailmap
[ license ] Added everyone > 3 patches to list of copyright holders.
[ Agda.cabal ] Added more authors.