Now giving credit properly to github user names, fixed some UTF-8 issues
and added names discovered when contrithanks was improved.