Add the default box url in Vagrantfile.