port to gecode >=4.0

gecode >=4.0 introduced major changes in the API.
    - Restart class has been renamed to RBS which needs an Engine (chose DFS)
    - instances of RBS need a Search::Cutoff (arbitraly chose Geometric)
    - variable selection are now functions and need brackets
    - statistics about memory are not available in gecode (by default)