Install Vagrantfile
Vagrant: disable default sync_folder
Vagrant: tiny doc fixes