Allow generated python file to accept a -threads argument to limit the number of threads a solver uses.
Enable Command to support memory limiting.
Initial parallel portfolio.

Given a numberjack python file, tries to solve it with different solvers, returning the solution from the first one to finish.
Python model, generated from Flatzinc, is now wrapped in a get_model() function so it can be imported easily.
Rename.