Add support for restart-based search in gecode.
Fix a warning.