Upgrade Vagrantfile to config version 2 style

This removes Vagrant from the Gemfile. After getting this commit, you
should install Vagrant through its website and remove all gem copies of Vagrant.