added box url to Vagrantfile