Updated the "Setting up CDK software components" for adding Vagrant box

We have updated our Vagrantfiles so that user can use any customized box name.
This can be easily done with adding an environment variable like BOX.

The documentation upstream can be found in quickstart section step 3 Note.