Added box url in Vagrantfile