small changes.
language extension for describing call stack mapping
used debugger DSL for describing callstack mapping
Merge branch 'master' of github.com:mbeddr/mbeddr.core

Conflicts:
	code/languages/com.mbeddr.core/languages/com.mbeddr.core.expressions/languageModels/behavior.mps
tests now run with max. 2GB heap
code can now be shown inline.
fixed #1063
fixed #1061
masively improved editors for analysis configurations
Fixing the robustness bug
Merge remote-tracking branch 'origin/master'

Conflicts:
	code/languages/com.mbeddr.analyses/languages/com.mbeddr.analyses.cbmc.core/languageModels/constraints.mps
Debugging and fixing the robustness bug
Mac OS X specific robustness bug
Last changes
Merge remote-tracking branch 'remotes/origin/master'
Confs recreated
fixing the tests
Merge remote-tracking branch 'origin/master'
removing the satabs analyses
temporary print the output and err of CBMC to debug the server tests