documenting Vagrantfile