Migliorate performance di retrieve dei fatti per la GUI.
Aggiunta checkbox per evitare che la Run aggiorni la GUI subito dopo una
halt per debug (R&U - Run&Update).
Merge branch 'master' of https://github.com/IA-13-14/ROBOT-CAFE.git