Exclude gecode-test from the default build