travis: use the latest Vagrant