Try the new Docker-based Travis infrastructure