Simplifying vagrantfile configuration