commiting queue changes
adding untracked file
a lot of refactoring and aditional queue stuff
adding some grammar stuff
added code to remove superfluous items from the AGREE analysis menu
adding mature queue code and arming logic example
some changes that I had forgotten to check in
reorganizing flight model and adding code to AGREE to handle queues that fanout to nowhere
fixed validation issue with type errors and non constants in division
adding broken code for new explicit calendar creation
setting z3 instead of yices and updating the smaccmpilot model
fixing bug in how AGREE handles assumptions
i don't know
Merge remote-tracking branch 'origin/master' into agree_queues

Conflicts:
	fm-workbench/agree/com.rockwellcollins.atc.agree.analysis/src/com/rockwellcollins/atc/agree/analysis/views/AgreeMenuListener.java
	fm-workbench/agree/com.rockwellcollins.atc.agree.ui/src-gen/com/rockwellcollins/atc/agree/ui/contentassist/antlr/internal/InternalAgree.tokens
	fm-workbench/agree/com.rockwellcollins.atc.agree.ui/src-gen/com/rockwellcollins/atc/agree/ui/contentassist/antlr/internal/InternalAgreeLexer.java
	fm-workbench/agree/com.rockwellcollins.atc.agree.ui/src-gen/com/rockwellcollins/atc/agree/ui/contentassist/antlr/internal/InternalAgreeParser.java
	fm-workbench/agree/com.rockwellcollins.atc.agree/src-gen/com/rockwellcollins/atc/agree/Agree.xtextbin
	fm-workbench/agree/com.rockwellcollins.atc.agree/src-gen/com/rockwellcollins/atc/agree/parser/antlr/internal/InternalAgree.tokens
	fm-workbench/agree/com.rockwellcollins.atc.agree/src-gen/com/rockwellcollins/atc/agree/parser/antlr/internal/InternalAgreeLexer.java
	fm-workbench/agree/com.rockwellcollins.atc.agree/src-gen/com/rockwellcollins/atc/agree/parser/antlr/internal/InternalAgreeParser.java
	fm-workbench/agree/com.rockwellcollins.atc.agree/src-gen/com/rockwellcollins/atc/agree/services/AgreeGrammarAccess.java
adding a slightly broken version of the phase 2 architecture
updating phase II architecture
commiting updated phaseII arch
refactoring some AGREE stuff
Merge branch 'agree_queues', remote-tracking branch 'origin/master'

Conflicts:
	fm-workbench/agree/com.rockwellcollins.atc.agree.analysis/src/com/rockwellcollins/atc/agree/analysis/AgreeAnnexEmitter.java
	fm-workbench/agree/com.rockwellcollins.atc.agree.analysis/src/com/rockwellcollins/atc/agree/analysis/AgreeEmitterUtilities.java
Merge branch 'master' of https://github.com/smaccm/smaccm