Use Docker for Travis CI builds
Use Docker for Travis CI builds