mzn2py shouldn't run the problem immediately, just output the generated file.
Changes from Simon Degivry.
portfolio changes.
Fixes for dichotomic search code.