`--ignore-constraints-on` doesn't ignore package `available` constraints

[sim642]

The option currently applies to only dependency version constraints according to the man page:

       --ignore-constraints-on[=PACKAGES] (default=)
           Forces opam to ignore version constraints on all dependencies to
           the listed packages. This can be used to test compatibility, but
           expect builds to break when using this. Note that version
           constraints on optional dependencies and conflicts are unaffected.
           This is equivalent to setting $OPAMIGNORECONSTRAINTS.

However the option name itself sounds more general, so it could also apply to package available constraints. In particular, it could further help with compatibility testing when the package currently has been made unavailable on certain OS-s, architectures, etc.

[kit-ty-kate]

For anyone looking at this issue (cc @WardBrian), the common workaround for this is opam pin edit <your-pkg> which pins the package you want to install and opens an editor and allows you to remove the available constraint.

[WardBrian]

That does seem great for testing! However, if I find that it does work for me, the next step is doing something in a non interactive CI environment, where a flag would be much appreciated