JS-946: Neues Kommando <setting.set>, um Einstellung "scheduler.old_microscheduling.enable_for_jobs" zur Laufzeit ändern zu können

Das ist ein Notschalter, falls das neue Mikroscheduling nicht funktioniert.

<settings.set name="scheduler.old_microscheduling.enable_for_jobs" value="true"/>  ("false" schaltet zurück)

Die Einstellung wird voraussichtlich in v1.8 wieder entfernt.