Updated and generalized Vagrantfile