docs: remove nonfunctional Vagrantfile and instructions