update gecode to 4.0.0

Update gecode to version 4.0.0.
Options

--without-gist	Add optional dependency 'qt' for building with Gist support (enabled by default).

--with-mpfr	Add optional dependency 'mpfr' for building trigonometric and float constraints (disabled by default).