feature request: Support max version required

[CervEdin]

I recently discovered that it is possible to specify a minimum version required by a MiniZinc model
https://docs.minizinc.dev/en/stable/lib-stdlib-language.html#mzn-ref-stdlib-language-mzn-min-version-required

For example

mzn_min_version_required = 2 * 10000
                         + 8 * 1000
                         + 5;

Very neat!

But sometimes newer versions of the compiler may introduce subtle bugs and if someone is using snap or similar to install the latest release it may be too new.
I think it would make sense to additionally support a mzn_max_version_required.