Switching to read-only HTTPS fo git checkouts

This is to appease Travis, will need a solution for developers.