chore: rename to ai-dev-tools

"awesome-coding-agents" no longer described the contents once the scope
widened past coding agents to AI-powered developer tools generally. Renaming
now was near-free: 3 stars, 4 forks, 135 unique visitors, four months old.

Name selection avoided the crowded awesome-* namespace, where the obvious
candidates are held by established lists (awesome-ai-devtools 3.9k,
awesome-ai-tools 6.2k, awesome-ai-coding-tools 2.1k). "ai-dev-tools" has no
incumbent at the exact name.

- Repo renamed; GitHub description and homepage updated.
- Module path, User-Agent, .gitignore, H1, site <title>/og:title and every
  GitHub Pages URL updated across README.md, templates/readme.tmpl,
  docs/LOCAL_DEV.md and site/index.html.
- plans/reports/ left untouched: it is a dated historical record.

go build: ok. go run . -check: 43 agents valid. go test ./...: ok.

docs/LOCAL_DEV.md

@@ -9,7 +9,7 @@
 
 1. Go to [https://github.com/settings/tokens](https://github.com/settings/tokens)
 2. Click "Generate new token" → "Generate new token (classic)"
-3. Give it a name (e.g., "awesome-coding-agents")
+3. Give it a name (e.g., "ai-dev-tools")
 4. Select scope: **`public_repo`** (needed to read public repo metadata)
 5. Click "Generate token" and copy the value