math/gecode: Change to GNU autotools; Add options; Add test targets

cmake isn't a default build system for Gecode. Test targets are missing
there, and at least one problem produces a wrong result when Gecode is
built with cmake (zebra_inverse.mzn).