Add Vagrantfile.