use system gecode when installing gem deps on travis