update gecode to 4.0.0

Update gecode to version 4.0.0.
Add dependency 'qt' (build fails otherwise)
Add optional dependency 'mpfr'. Enables trigonometirc and float constraints (disabled by default).