.travis-ci.sh: use HTTPS instead of SSH for git clone