Adding box url in Vagrantfile