Simplify sat solver internal API.
Be more conservative during pkg-install.
Merge install and upgrade solving logic.
Do not upgrade not installed packages.
Allow upgrade of individual packages.
Update manual pages.
Merge branch 'upgrade-rework'