coq-platform integration

[gares]

• make opam package for extra-dev
• ask for integration in platform CI

depends on #360

[maximedenes]

@gares is the first item done?

[gares]

CC rocq-prover/platform#347 - rocq-prover/platform#348