Switch to the new Docker-based Travis CI builds.

DO NOT MERGE YET. Let's see what Travis does.