Generic Vagrant configuration (Vagrantfile)