Add options a_d, c_d and threads to gecode.
Document return code 600 (interrupted).
Implement various limits in gecode.