Add missing Vagrant file