Fix for translating flatzinc where the output variables are indices of a var array.
Solver.setThreadCount (when unsupported) only prints message if verbosity>0
Variable.get_value() return type should be cast to the correct data type.
njportfolio.py exists more gracefully at timeout and when sent interrupt signal.