add solution for minimal mps
add dependency graph
single mbeddr build.xml
strip down deps
update idea.properties file for mbeddr rcp
remove dependencies
fix dependencies
Merge branch 'master' into feature/minimal-mps
migrate build.xml to new all in one script
initial platform plugin stuff
platofrom plugin builds
remove old build solutions
Merge branch 'master' into feature/new-buildscripts

Conflicts:
	code/languages/com.mbeddr.build/solutions/com.mbeddr.analyses.cbmc.dev.build/models/com/mbeddr/analyses/cbmc/dev/build/build.mps
	code/languages/com.mbeddr.build/solutions/com.mbeddr.debugger.dev.build/models/com/mbeddr/debugger/dev/build.mps
	code/languages/com.mbeddr.build/solutions/com.mbeddr.platform/models/com/mbeddr/platform/build.mps
	code/languages/com.mbeddr.core/languages/com.mbeddr.core.arrays/arrays.mpl
	code/languages/com.mbeddr.core/languages/com.mbeddr.core.buildconfig/buildconfig.mpl
	code/languages/com.mbeddr.core/languages/com.mbeddr.core.expressions/expressions.mpl
	code/languages/com.mbeddr.core/languages/com.mbeddr.core.modules/modules.mpl
	code/languages/com.mbeddr.core/languages/com.mbeddr.core.unittest/languageModels/typesystem.mps
update build scripts with new languages
fixing generator priorities for embedded and added tests
add runtime dependency for buildconfig
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
Merge branch 'master' into feature/new-buildscripts

Conflicts:
	code/languages/build.xml
improved context sidebar generation; removed outdated generator parts
small optimization for parsing the raw counterexample