add worker pids to SupervisorSummary in thrift API