Remove instructions to add box

You only need to tell Vagrant about the box if you are creating your Vagrant
config from scratch. Once you have the Vagrantfile (as we do here), it will
simply download the box from the url in the Vagrantfile when you run `vagrant
up`.