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.

Inizia leggendo l’implementazione di TaskQueue e individuando come viene impostato number_of_workers e come vengono distribuiti i task in coda. L’issue non indica file né test, quindi occorre prima chiarire l’API di runtime e il comportamento della concorrenza; il lavoro è completo quando il numero di worker può essere modificato su richiesta senza perdere task.

Scritto dal modello di indicizzazione a partire dal testo della issue.