travis: adding gecode to apt-get install