Move to docker-based Travis