update vagrant file

I should clarify further--without sharing the tree, Vagrant is superfluous. You're better off just creating a VM and doing everything entirely inside the virtual machine.