Updates for ISAS_S_190
Conflicts:

	models/QFCS_V2/packages/ISAS_REQS/ISAS_S_190.aadl
making some changes to lifting
merging in steve's model updates

Conflicts:

	models/QFCS_V2/packages/ISAS_REQS/ISAS_S_190.aadl
bringing back an old file that went missing
Add is_event_port to the grammar
Support is_event_port
Fix implementation of is_event_port, receives an AADL component
Update Resolute as OSATE now uses set.property internally instead of set::property. Fixes #22.
Fixed CertWare export - no diagrams available in this version of CertWare though
Replace :: with . when linking OSATE objects
Updates for verification of ISAS properties.
Finished refactoring portions of the code generator and split the eChronos
and CAmkES code generation portions into separate folders.  Also
added some example models.
Merge branch 'develop' of https://github.com/smaccm/smaccm into develop

Conflicts:
	fm-workbench/trusted-build/edu.umn.cs.crisys.smaccm.aadl2rtos/.classpath
	fm-workbench/trusted-build/edu.umn.cs.crisys.smaccm.aadl2rtos/.settings/org.eclipse.jdt.core.prefs
	fm-workbench/trusted-build/edu.umn.cs.crisys.smaccm.aadl2rtos/src/edu/umn/cs/crisys/smaccm/aadl2rtos/Aadl2RtosAction.java

MWW: Merged conflicted files and added support for RAMSES (mostly).  Still
a few patches to apply if I want to use it.
Merge branch 'develop' of https://github.com/smaccm/smaccm into develop
commiting change to linker
Cleaned up the QVFC_V2 significantly. All properties at the FCS level prove quickly.
Merge pull request #23 from chaosape/develop

Changes to QFCS_V2 Model.
fixing small spelling error in fcs req
changes to the osas
updates to the osas