Switch to the docker-based infrastructure on Travis