tools/travis-ci/install.sh: git clone with https:// to fix 'The unauthenticated git...