Switch to the new Docker-based Travis CI builds.