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 https://github.com/coq/coq/issues/18593 naive minimization produces bad results.