Actually, let's use HTTPS for our Vagrantfile