Add in java module to allow for basic BDD-based LTLspec comparison for future regression testing
Update SLURP.
make all scripts in /dist executable
testExamples can now be passed .spec paths as command-line arguments to test only the specified projects
re-enable 'decompose' in firefighting/specinLTL.spec example.  This is a work-around pending specCompiler/mapProcessing refactoring.
Allow consequents to be conjunctions of livenesses or conjunctions of safeties
make Executor print an INFO log message upon successful termination
Group names are now recognized with or without a trailing 's', e.g. 'office' is now equivalent to 'offices'
Add patrol example for ltlworkshop.
Add support for 'empty' groups
Make ltlworkshop patrol spec non-trivial.
Add support for group-to-group correspondence
Fix bug where ordering of items in groups would not match order written in specification
Add support for 'add to group' and 'remove from group'
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.