serai/orchestration/coordinator/Dockerfile.coordinator