Update Vagrantfile

Adding digitalocean provider. Merging to master since there is no Develop branch.