update to current Gecode version (4.2.1) and fix several bugs along the way