New: make bootstrap.sh use Github with SSL.

This is the default for Github now and accessing the old bare http URL just causes a redirect to https.
Test: don't run Travis setup quietly to make it easier to track setup errors.