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.
make Executor print an INFO log message upon successful termination
add distributeNexts() function to LTLFormula
move stuff unrelated to JTLV synthesizer out of createJTLVinput and into new LTLMacros; refactor and clean up significantly (work in progress)
add getRegionNames() function to RFI
add skeleton mapProcessing file
start to clean up specCompiler; WIP
move analysis and core functions out of specCompiler; WIP, currently broken
condense definition of testing map in mapProcessing
make decomposition use existing regions.Point class
add getRegionByName() function to RFI
add _trackRegionParents contextmanager to mapProcessing
add map processing function stubs for createRegionsFromFreeSpace and removeObstacles
add exportToSVG function for maps
export intermediate maps as SVGs during mapProcessing tests
ensure SVG map exports don't appear flipped