Estensioni -> Master

Con questo merge si risolvono le seguenti questioni:

* fix #263 tutta la gestione delle estensioni dalla richiesta alla chiusura è implementata
* fix #309 su centrale operativa si può scegliere il comitato sulla base delle estensioni
* fix #311 su gruppi si può scegliere il comitato sulla base delle estensioni
* #310 la funzione termina() può essere usata per la chiusura anticipata