Integrated a bit better Kohlhase
Merge branch 'master' of https://github.com/sagemath/grant-europe
Merge pull request #10 from pdehaye/master

More Kohlhase