make get_ltlmop_root() a separate function so it can be called without a Project instance
change execute.py to use xmlrpc for communication
make dummysensorhandler exit cleanly if executor crashes
let simgui close even if executor has crashed
always insert text at end of log in simgui
delete extra config for firefighting
Merge branch 'development' into gumbo