chore(typing): extend the Any ban to tools and examples

[janbjorge]

Follow-up to the strict-mypy stack (#789–#797).

Changes

• pyproject.toml — new ["tools.*", "examples.*"] mypy override adding disallow_any_explicit and disallow_any_unimported. Both directories already contained zero explicit Any, so this locks in the current state rather than fixing a backlog.
• types-tqdm added to the dev extras. It was the only thing blocking disallow_any_unimported: without stubs, bar: tqdm silently degraded to Any.
• tools/benchmark.py — with real stubs tqdm is generic, so the two annotations gain a parameter (tqdm[NoReturn]). The bar is only ever .update()d and read via .format_dict, never iterated, so no element type is observable.
• .gitignore — ignore .claude/worktrees/. Only .claude/settings.local.json was listed, and git add -A has swept an embedded worktree into a commit before.
• AGENTS.md — the typing section now states the ban covers pgqueuer/, tools/ and examples/, and that Any remains allowed under test/.

test/ is deliberately left alone: 88 Any across 18 files and 37 type: ignore across 16, in code whose job is to build malformed payloads and loose stubs. The ignore-without-code error code already applies there.

Verification

Check	Result
uv run mypy . --no-incremental	Success, 160 source files
uv run ruff check . / format --check	passed / 159 formatted
uv run lint-imports	4 contracts kept, 0 broken
test/test_benchmark_grace_period.py	3 passed
git check-ignore .claude/worktrees/...	matches the new rule