add infrastructure for regression minimization

[JasonGross]

cf rocq-prover/bot#346 (comment)

We want:

• a way of determining which Coq succeeded
• scaffolding for running the script / file in two switches

[JasonGross]

We can probably run in two switches with docker exec