fix import path in region2svg
fix bug preventing display of color in simgui log
speed up loading of aut files
Enable preloading of behaviors for Nao; was commented out because it caused
a crash with previous versions of naoqi.
Update mopsy unsatCore call to new signature
add basic support for 'at least once', incomplete
Update synthesis algorithm to prefer paths to goal that do not depend on
any environment liveness
Make LTL->CNF conversion behave properly for next() operator with spaces
inside the parentheses
Add partial support for "after each time" in livenesses
Show internal props in addition to custom props in mopsy
make sure mopsy properly detects spec phrase corresponding to current goal
remove use of persistent [] as default arg in regions.py
remove deprecated 'last' argument from motion controller's gotoRegion
don't require boundary region if decompose is disabled
show region bit representations in speceditor
add option to disable checking locative propositions
don't recalcAdjacency after removing obstacle regions if decompose is False
only try to print follow sensor region in aut file when it exists
re-enable dot export that was commented out for some reason
catch all errors when trying to load handlers, not just ImportError