Updating Vagrant a bit, fixing Travis config.