changing AGREE to build JKIND AST rather than a string.  Also making nodes work correctly
Merge branch 'master' of https://github.com/smaccm/smaccm

Conflicts:
	fm-workbench/agree/com.rockwellcollins.atc.agree.analysis/src/com/rockwellcollins/atc/agree/analysis/actions/AgreeAction.java
	fm-workbench/agree/com.rockwellcollins.atc.agree.analysis/src/com/rockwellcollins/atc/agree/analysis/actions/VerifyAll.java
	fm-workbench/agree/com.rockwellcollins.atc.agree.analysis/src/com/rockwellcollins/atc/agree/analysis/actions/VerifySingle.java