Bump the default dep-selector-libgecode version to the one with windows ...

...size optimization.