git clone via HTTPS for Travis CI