Convert setup.sh URIs to https

This is so we can actually install remotely from anywhere, instead of
relying on having ssh keys setup.