Vagrantfile for vagrant-tramp mode