Missing dependency compcert

[kayceesrk]

The package couldn't be installed as is due to missing dependency compcert. Where would I find this missing package?

$ opam install all-bench
The following dependencies couldn't be met:
  - all-bench -> compcert-bench -> compcert
Your request can't be satisfied:
  - No package named compcert found.

No solution found, exiting

[chambart]

The compcert package is currently only in https://github.com/OCamlPro/opam-flambda-repository-overlay
I could probably go upstream at some point, but currently it is not clear what to do about the licence.

[chambart]

By the way, that probably mean that we should split the all-bench in 2 packages. Those that can be installed quite easilly, and the others. like a all-bench and an extra-bench.

Feel free to make a pull request moving out of all-bench those that you could not install easily.