Bump dep-selector-libgecode to 1.0.1

Fixes:

* omnibus builds building both 1.0.1 and 1.0.0 (which makes berks installation slow).
* dep-selector-libgecode 1.0.1 has a patch to clean out intermediate build products, saving over 100MB of space.