Dune is now used to build the package. Split the build-time and runtime parts into separate packages.
Add coq-menhirlib subpackage, without which coq support is rather pointless.