more docs; tweaks to Vagrantfile