Ruled out html results saveing - it is not used anyway
plugins are now built in one build script and plugins added as git submodule
build path of plugins fixed
mps-sl-all artifacts are not required for build-allScripts anymore
Merge branch 'master' into plugins

Conflicts:
	code/languages/com.mbeddr.build/solutions/com.mbeddr.doc.dev.build/models/com/mbeddr/doc/dev/build.mps
small fixes in analysis of DecTab
added sliceFormula to the preferences page of CProver
make the use of sliceFormula in one-click core-analyses consistent
Merge branch 'master' into plugins

Conflicts:
	code/languages/com.mbeddr.build/solutions/com.mbeddr.allInOne/models/com/mbeddr/platform.mps
	code/languages/com.mbeddr.build/solutions/com.mbeddr.doc.dev.build/models/com/mbeddr/doc/dev/build.mps
Plugins migrated to MPS 3.1 EAP4
draft of the decision tables checks is ready
fixed a lang import
server should only start once now
Merge remote-tracking branch 'origin/master'
HeartBleed example migrated to new MPS
Merge branch 'master' of github.com:mbeddr/mbeddr.core
update build script
Merge remote-tracking branch 'origin/master'
improving the menus consistency for state-machines and decision tables verification
new content in the tutorial documentation - a first draft of decision tables and statemachines robustness verification is now available