refactor: start-single.sh → start-coding-server.sh, stop-servers.sh → stop-coding-server.sh

Konsistente Benennung: Server-Skripte beschreiben ihre Funktion (coding-server),
nicht das spezifische Modell oder die Architektur. Alle Referenzen in Extension,
Tests, README und BEDIENUNGSANLEITUNG aktualisiert.

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

stop-coding-server.sh

@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+# Single-GPU-Architektur: nur noch ein Container (Coder + Judge in einem).
+SINGLE="coding_model"
+
+if docker ps -a --format '{{.Names}}' | grep -q "^${SINGLE}\$"; then
+  docker rm -f "$SINGLE" >/dev/null
+  echo "[*] Gestoppt: $SINGLE"
+else
+  echo "[-] Nicht gefunden: $SINGLE"
+fi