Miglioramenti alla GUI relativa a dimensione finestre e funzione di Run
e Halt del codice CLIPS