Pull gecode into travis and https for all git.