See if Vagrant + CoreOS can be used on Travis CI.