Avoid memory allocation when parsing options.
Move solve code tests to SolverTest.
Implement limits in JaCoP driver.