Allow TaskQueue to mutate its number_of_workers on demand (without dropping tasks)

Does this makes sense? I was thinking about the user setting how many _workers_ wants to be run in parallel doing CI's tasks, or at a `project` level.

Beginne damit, die Implementierung von TaskQueue zu lesen und zu ermitteln, wie number_of_workers gesetzt wird und wie Aufgaben in der Warteschlange verteilt werden. Das Issue nennt keine Dateien oder Tests, daher sollte zunächst die Runtime-API und das Nebenläufigkeitsverhalten geklärt werden; abgeschlossen ist die Aufgabe, wenn sich die Anzahl der Worker bei Bedarf ändern lässt, ohne Aufgaben zu verlieren.

Vom Indexierungsmodell aus dem Issue-Text verfasst.