Return different error code for SolverProblemsException

To make it easier for external tools to detect SolverProblems and react
to them accordingly,
this PR introduces a new exit code.
Merge pull request #1827 from pulse00/exitcode-patch

Return different error code for SolverProblemsException