Add vanilla Vagrantfile.