Use https instead of ssh for git clones with travis CI