Clean the code

[clarus]

Till now, code was added but never cleaned. Code which could be removed:

• https://github.com/coq-bench/run/blob/master/tree.rb
• the compilation steps of OCaml (we could directly use opam binaries)