Coq bench removed (now on http://coq-bench.github.io/)
Merge branch 'master' of https://github.com/clarus/clarus.github.io