Update Gecode to version 4.2.0. Remove memorylimit option because Gecode doesn't support it any more.