redundant loop in highlightCores
split LTL lines on tabs in addition to newlines. deals with initial condition being inline with disjunction over regions
use init condition returned from the synthesis. do not force a single setting for sys vars in returned init
Merge remote-tracking branch 'vasu/cores' into slurp-dev

Conflicts:
	src/lib/specCompiler.py
	src/specEditor.py