Add gecode as a Git module.
Test gecode options.
Update gecode.