Improve SAT iterations.
Improve SAT iterations.

Be now more conservative by default, trying not to upgrade packages if
not asked explicitly, however, if a scenario leads to removing of local
packages then SAT is reiterated with a more relaxed strategy.

en90/pkg,junovitch/pkg,Open343/pkg,khorben/pkg,khorben/pkg,skoef/pkg,en90/pkg,skoef/pkg,khorben/pkg,junovitch/pkg,Open343/pkg