refactor: install.sh → install_servers_and_pi_coder_extension.sh umbenennen

Klarerer Name verhindert Verwechslung mit generischen install-Skripten.
Alle Referenzen in README.md und BEDIENUNGSANLEITUNG.md aktualisiert.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

install.sh

@@ -1,16 +0,0 @@
-#!/usr/bin/env bash
-# Kopiert die versionierten Dateien aus dem Repo nach ~/.pi/agent/.
-# Nach jeder Änderung im Repo ausführen, damit pi agent die neue Version lädt.
-set -euo pipefail
-REPO="$(cd "$(dirname "$0")" && pwd)"
-
-mkdir -p ~/.pi/agent/extensions
-
-cp "$REPO/pi-coder-judge-extension.ts" ~/.pi/agent/extensions/pi-coder-judge-extension.ts
-echo "Kopiert: pi-coder-judge-extension.ts → ~/.pi/agent/extensions/"
-
-cp "$REPO/models.json" ~/.pi/agent/models.json
-echo "Kopiert: models.json → ~/.pi/agent/"
-
-echo ""
-echo "Fertig. Bitte /reload in pi agent ausführen."