Install gecode from RBEL packages on RHEL distros.

It is unnecessary to build gecode from source now that RBEL hosts
RPM repositories with gecode packages for RHEL 5 and RHEL 6 systems.