improving the testing utils
improving the analyses configurations by adding ordering information
Merge remote-tracking branch 'origin/master'

Conflicts:
	code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc/languageModels/editor.mps
merged