remove extra files in iRobotCreate example
disallow mopsy with bitvector disabled
some debugging print statements
Change SLURP submodule to use http.
Update SLURP.
changed name of some examples. combined ltlediting to firefighting
Bring back slurptest example.
Remove unused alarm sensor from slurp_unsynth/follow.
Update slurptest development spec to have explicit bit encoding flag.
Breaking SLURP update: run /src/etc/SLURP/download.py to update the pipeline.
Breaking SLURP update: run /src/etc/SLURP/download.py to update the pipeline.
Breaking SLURP update: run /src/etc/SLURP/download.py to update the pipeline.
add in basic setup script
move patrick to separate catUtils module
fix some windows problems in setup script; take care of submodule init
Update SLURP.
make setup script download SLURP submodule even if a zipball download and not a repo clone
make gitUtils.ensureGitBash to help with windows compatibility of setup scripts
remove non-ascii character ('¬') from .dot file export, use '!' for negation instead
setup script breaks when run from a network drive on windows; this might be fixable in the future, but for now warn about this instead of crashing mysteriously