add first draft of dynamicletters spec; doesn't yet successfully parse
add back in parseEnglishToLTL's ability to parse group editing operators, from UKR branch
make Executor call its parent classes' __init__ methods so we can do stuff during mixin initialization
store a reference to executor in proj so handlers can access the execution context. (temporary until hsub refactor)
After resynthesis, call the sensor and actuator handler functions with initial=True (HACK)
add getSensorStates function to FSA to enable better debugging messages.
modify FSA to enable actuators in alphabetical order, instead of non-deterministically
ensure _add_to_* proposition are always lower-case
Add triggerResynthesis to dummyActuatorHandler.  This should eventually be in its own file.
add __init__ function to ExecutorResynthesisExtensions that adds internal flag check to each fsa.runIteration() call, instead of having that resynthesis-specific code inside normal Executor.
add functions to catch add_to_* internal flags and do appropriate spec group rewriting
add mechanism to query user via GUI from inside resynthesis functions
add lots of comments and debug messages; general tidying up
add in basic resynthesis testing examples