feat: der Monitor fragt das Panel, wenn eine Abfrage nicht ausreicht

gamedig FRAGT einen Server. Ein startendes Modpack antwortet nicht, und
nach zwei Fehlversuchen stand im Alarm-Kanal eine Ausfallmeldung, obwohl
niemand etwas kaputtgemacht hat -- am ATM10 des Betreibers gemessen jedes
Mal 306 Sekunden Fehlalarm.

Das d4rk_gameserver-Panel SIEHT den Container, statt ihn zu fragen. Neu
ist deshalb `src/panel.js`: Zustand, Fertig-Merkmal, RAM und CPU kommen
als Zusatzauskunft dazu, einmal je Durchlauf abgerufen und 20 Sekunden
zwischengespeichert.

Was das im Alarm-Kanal aendert:

  startet gerade   kein Alarm, aber nur innerhalb einer Gnadenfrist von
                   15 Minuten. Ohne diese Grenze fraesse die Anbindung
                   genau den Alarm, fuer den es sie gibt -- `bereit`
                   wird nie von allein wahr, ein haengender Start bliebe
                   sonst fuer immer stumm.
  im Panel gestoppt  kein Alarm (Code 0/143/137)
  abgestuerzt      ALARM, mit Code im Embed
  OOM-Kill         ALARM, und beim Namen genannt statt als Absturz
                   getarnt -- bei Modpacks die haeufigste Ursache
  Container weg    ALARM

Der Zaehler wird beim Unterdruecken NICHT zurueckgesetzt: ein bereits
gemeldeter Ausfall bleibt gemeldet, sonst verschluckt ein Stopp im Panel
die spaetere "wieder online"-Entwarnung und im Kanal bliebe ein Alarm
ohne Aufloesung stehen.

ES IST DURCHGEHEND OPTIONAL. Adresse und Zeichen stehen im Webinterface
unter "Server" und NICHT in der .env; ohne Eintrag -- und ebenso, wenn
das Panel nicht antwortet -- verhaelt sich der Monitor exakt wie vorher.
Das Zeichen darf nur lesen, damit auch ein verlorenes niemandem einen
Server stoppen kann.

`tools/panel-pruefen.mjs` prueft die Logik ohne Discord und ohne
Datenbank; deshalb laedt panel.js die Einstellungen erst beim Aufruf.

src/runtime-settings.js

@@ -325,3 +325,20 @@ export function repoIgnored(repo) {
         (r) => r.toLowerCase() === repo.toLowerCase()
     );
 }
+
+/**
+ * d4rk_gameserver-Panel — Adresse und Lesezeichen.
+ *
+ * BEIDES NUR HIER UND NICHT IN DER .env: der Betreiber soll es im Webinterface
+ * eintragen können, so wie alles andere auch. Das Zeichen darf ausschließlich
+ * lesen; selbst wenn es abhandenkommt, kann damit niemand einen Server stoppen.
+ *
+ * Leer = die Zusatzauskunft ist aus, und der Monitor verhält sich wie vorher.
+ */
+export function panelUrl() {
+    return (getSetting('panel_url') || '').replace(/\/$/, '');
+}
+
+export function panelZeichen() {
+    return getSetting('panel_zeichen') || '';
+}