AGENTS.md: drop command lists that the repo shows

[rubas]

Before: AGENTS.md lists commands and files that the repo already shows, for example:

task check is the default gate: format check, compile, credo, Elixir tests, Rust tests, and zizmor over the workflows.
task fix applies formatting and clippy fixes in place.
native/whisper_ct2_native/src/ holds the NIF: transcribe.rs the transcription flow, ...

Problem

• An agent finds these with task --list, the Taskfile, or a quick look at the tree.
• Every such line is upkeep, and it goes stale when the Taskfile changes.

After: AGENTS.md keeps only what the repo cannot show: rules, required order, and traps. A line that holds a rule keeps the rule and the command it is about.