New methods to add variables and constraints to a problem.
Implement and test the jacop driver
Fix memorylimit test on 32-bit platforms and Gecode 4 with smaller memory footprint.