Use system gecode on travis