Use Docker builds on Travis CI