Add optional default path to Vagrantfile

vagrant-vagrantfile is a buffer-local variable
meant for use via .dir-locals.el in projects
that don't have a top-level Vagrantfile