Using dune when installing the package

[rlepigre-skylabs-ai]

Not doing so implies that compiling the standard library package takes much longer than it should in cases where the dune cache could hit. This is something that it very noticeable in our internal CI, getting from about 2 minutes to a couple of seconds at most when using dune.

Would you be open to using dune to build/install the rocq-stdlib package?

[proux01]

If it can be made to work reliably, why not. It remains rather hackish with rocq (without the coq shim).

[SkySkimmer]

For the dev package it is used for benchmarking and dune is bad for benchmarking (doesn't generate timing data).
Other versions I don't care.