Update gecode.
Test gecode options.