docs update; vagrantfile easier to remove plugin installation