make speceditor have default height of 700, so it works on 1024x768 monitors
fix off by one line error in SE parse error syntax highlighting
fix bug in decomposition when duplicate points exist
re-enable locative prepositions for S.E. parser; was lost in large merge
Add stub for hand LTL editing spec.
remove obstacles and boundary from ltlediting example
add bit-vector encoding as a menu option in speceditor.  encoding is currently required for execution.
properly load bitvector setting into menu
initial region setting spec component was being generated twice, once in S.E. parser and once in specCompiler.  switch to only the latter.
don't display region heights in regioneditor unless non-zero
disallow multiple robots of same name in configeditor
don't show blank choices in configEditor when some handlers fail to load