Move the timing option to BasicSolver and implement time reporting in ilogcp, gecode and jacop.
Test GetTimeAndReset and the timing option. Check the value of the wantsol option.