Ship the idatui agent skill in-repo at .agents/skills/

Follows the Agent Skills standard (agentskills.io) rather than a contrib/
dir: harnesses discover .agents/skills/<name>/SKILL.md automatically from
the repo root, and it is vendor-neutral (not .claude/ or .pi/ specific).

Not a verbatim copy of the local one -- it was ~85% generic and the rest
had to go before redistributing:

  * the backend is described as a normal pyproject dependency, with the
    editable-git-checkout setup demoted to a conditional note (that is one
    maintainer's layout, but the 'upstream pull silently swaps the backend'
    warning is worth keeping for anyone who does it);
  * personal agent tooling (bgrun/waitfor wrappers) replaced by the
    underlying lesson -- a backgrounded subshell holds the inherited stdout,
    so redirect all three fds -- which is true without those scripts;
  * maintainer commit authorship dropped;
  * absolute ~/dev paths made relative to the repo root; ~/ida-venv kept but
    marked as this project's assumption, matching the README.

Also fixes the README's stale full-run count (788/~2m -> 1031/~50s), lists
the docs that were missing from the index, and warns that a user-level skill
of the same name shadows this one -- otherwise a personal copy silently wins
and the in-repo copy rots.

0 files changed, 0 insertions, 0 deletions