use new docker-based travis system