Improve the heuristic to select a shorter range of versions to try.
Improve the heuristic to select a shorter range of versions to try.

For each package, we now try all the versions from min(currenlty-installed, installed-in-the-first-approximation) and max-version.

abate/opam,abate/opam