Kreisel: Attribut Geruest_Einzelmodul hinzugefuegt (Erzeugung, Edit-Dialog, Export)

Jeder Kreisel bekommt bei der Erzeugung das neue Attribut GERUEST_EINZELMODUL
(Default false), im KreiselEdit-Dialog per Checkbox "Geruest fuer Einzelmodul"
umschaltbar. Fliesst als echter JSON-Bool ins details-Feld von EXPORTSIVAS/
EXPORTCSV und wird bei der Sivas-Gruppierung gleichartiger Kreisel beruecksichtigt.

dcl/kreisel_edit.dcl

@@ -47,6 +47,11 @@ kreisel_edit : dialog {
       }
     }
 
+    : toggle {
+      key = "geruest_einzelmodul";
+      label = "Geruest fuer Einzelmodul";
+    }
+
   }
 
   ok_cancel;