Total task diff numbers (lines added & removed) should be streamed from server (we only re-fetch rn) #121
Description
Task diff stats are currently fetched via API endpoint /tasks/[taskId]/diff-stats
• Diff numbers should be streamed in real-time as files are modified
• Add WebSocket events to push updated diff stats to frontend
• Update task components to display live diff statistics during agent work