Update box url in Vagrantfile