add box url to Vagrantfile