Minimizer on issues should be able to compare coq versions

[SkySkimmer]

ie it should be possible to do something like @coqbot minimize good=coq.8.18 bad=coq.dev (some script)

For instance on rocq-prover/rocq#18593 naive minimization produces bad results.