Import latest revisions to gecode port from upstream
Update gecode to 4.2.0