Backported improved sanitization/quoting when calling external solver from dose.
Merge pull request #1123 from rdicosmo/sanitize

Backported improved sanitization/quoting when calling external solver from dose
When the request is unsatisfiable, use the default solver to provide explanations if the external one does not.