Rework manual SAT resolving.
Rework manual SAT resolving.

- Do not return EAGAIN
- Allow user to specify 'Y' for some packages and 'N' for another
- Avoid request reconstruction, use reiteration instead
- Fix multiple failure case

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