Vagrantfile for vagrant vm