add github banner
Merge branch 'master' into iminuit-master