Use https over git

Enables us to run `git clone --recursive` in the setup_machine.sh script without first having to create and distribute SSH keys