Import gecode-3.7.3 as wip/gecode.

Gecode is a toolkit for developing constraint-based systems and applications.
Gecode provides a constraint solver with state-of-the-art performance while
being modular and extensible.