Some platform users could benefit from being able to call the script in a more fine-grained way, in particular:

• it would be nice to split the cygwin setup, from the rest of the build
• it would be nice to split installing the opam deps from actual coq packages [using opam install --deps-only]

This is feedback from rocq-prover/rocq#12425