added the handler template file
fix error in prevention of duplicate robot names; fixes Issue #40
don't write calibrationMatrix to config file if None
switch project.py to logging
automatically update propmapping references when a robot gets renamed
disallow 'share' as a robot name :)
support '=' as bi-imp operator in addition to '<->'
ensure immediate reaction to hazardous_item in firefighting example
update macro reference in followtest
fix off-by-one error in S.E. analysis goal highlighting
fix off-by-one error in mopsy goal display
require handler params with no default to be specified before adding a robot to a config
fix off-by-one error in corefinding goal identification
only allow further analysis for unsat case, not unreal
clean up coreutils a little: use logging, make multiprocessing easy to disable
start with unroll depth of 1, not 0
off-by-one fix in slurp gentree highlighting
update SLURP
remove old/broken examples
clean up examples a little more; clarify which ones are supposed to be unsynthesizable