Minor changes:
- CliParser::wasKeyUsed() renamed to isKeyUsed;
- MinisatSolver and MinisatCallData classes go to separate files.
Minor improvements:
- CliParser goes to libdeepsolver
- CliParserException is now covered by ExceptionVisitor
- Command line errors are now processed through ExceptionMessagesEn
- PackageListPrinting class renamed to PkgListPrinting