Link gecode statically to fix issues finding shared library. Fixes aliceml/aliceml#2.

Gecode was being linked using a shared library on linux and darwin. This
caused issues using Gecode libraries as the shared library wasn't copied
to the distro directory. By linking statically, as it's done on windows,
we avoid this issue.