Switch to Travis CI's faster Docker-based infrastructure.