effettuate piccole modifiche e risolti bug minori:
-[BM] aggiunta invocazione del metodo remoto setFree() 
-[BM] modificato checkBoxesConsistence() (da rivedere) 
-cabiate alcune cose riguardanti la sincronizzazione
-bug fix: decrementsBusy() ora viene fatto al posto giusto
-aggiornata interfaccia ICabinaRemote: aggiunto metodo setFree();

a breve arriverà un altro commit con la roba che sto implementando adesso