v0.1.77 — agent stats --all (batched) + DeepSeek v4-pro

• agent stats --all --json: every agent's stats in ONE invocation, so the dashboard/mobile collapse N per-agent box execs into a single call (the box shelld rate-limit is a shared 60/min per-box ceiling). Single stats <name> unchanged. (DIVE-206 / DIVE-202)
• DeepSeek provider maps: deepseek-chat → deepseek-v4-pro (deepseek-chat is deprecated 2026-07-24; v4-pro verified current).