an initial version of the harness module
Merge remote-tracking branch 'origin/master'

Conflicts:
	code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/generator/template/com/mbeddr/analyses/cbmc/generator/decision_tables/statemachine@generator.mps
	code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/generator/template/com/mbeddr/analyses/cbmc/generator/template/main@generator.mps
	code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/languageModels/editor.mps
	code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/languageModels/structure.mps
	code/languages/com.mbeddr.analyses/tests/test.analyses.cbmc.testcode/models/advanced_verification_condition.mps