Add box url to Vagrantfile