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
clean up resynthesis code, move to separate file that can be used as a mixin for executor
make executor print full tracebacks even when running as xmlrpc-server
have ltlparser properly handle one-line specs
use basestring instead of str in flattenltlformula
add conditionals to handle decomposition-disabled case.  this needs to be cleaned up and generalized