only print traceback on handler load error if not plain ImportError
don't try to colorize logging output if not outputting to a terminal
disable core-finding in mopsy if picosat not found
enable buffering on AsynchronousProcessThread to avoid data loss in fast output streams
consider a configObject complete even if region tags missing
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
viconpose typo
set up framework for global logging with config in global.cfg
let configEditor output directly to terminal without going via speceditor
fix error parsing booleans introduced by 85dec839
add in LTL parser, based on work by Rüdiger and Cat
make createJTLVinput.writeLTLfile work well with LTLParser
be sure to parenthesize subconjunts when flattening LTLformula lists in createJTLVinput
move stateToLTL from mopsy into FSA
executor can report current goal number