Preserve automatic flags of local packages.
Use installed provides if possible.
Be more smart about automatic flags for deps.
Fix local and remote logic for provides and conflicts.
Add some debug and assertions.
Optimize SAT solving slightly.
Fix issue with adding provides to SAT problem.