update Vagrantfile digital ocean