Add Box URL in Vagrant File

Box URL can be specified in Vagrant file itself, so that developers can just run `vagrant up`