initial adding of exp10 and pioneerUKR robot
begin updating pioneerukr actuator
support parsing of commands to add and remove from groups
let simgui load spec and region files independently
speccompiler no longer requires load from file
convert execute.py from script to object, initial resynthesis support
be more explicit when a resynthesized spec is unsynthesizable
update for Pioneer (temporary hardcoding)
update pioneerUKR handlers
temporary workaround for empty group handling in e2ltl
added ukr testing example
added ideal final spec to exp10
add basic support for 'at least once', incomplete
update spec to use 'at least once'
remove hardcoding of robot name w/r/t region add-remove sensors
only resynthesize if spec has changed (fixes problem with confusing between decomposed and non-decomposed region files)
pause execution upon resynthesis failure
properly persist memory propositions between resynthesis; slightly inelegant
when choosing newest region file for rewritten spec, be sure to not use decomposed regions
cease propagation of memory propositions as initial conditions, for the relevant goals will be removed