Well Documented Vagrantfile different section settings