refactored implementation of contributeWatch in AtomicComp
improved variables selector
continued refactoring component's debugger impl.
extended blext language
refactored implementations of IWatchableProvider and IWatchableProviderContext
Merge branch 'master' of github.com:mbeddr/mbeddr.core
refactored ImplementationModule's impl. of contributeWatchable
Merge branch 'master' of github.com:mbeddr/mbeddr.core
further concept for watchables mapping
finished refactoring of watchables-handling
fixed analyses build script
fixed analyses debugger script
Merge branch 'master' of github.com:mbeddr/mbeddr.core

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.core/languages/com.mbeddr.core.expressions/languageModels/behavior.mps
	code/languages/com.mbeddr.core/languages/com.mbeddr.core.util/languageModels/behavior.mps
Merge branch 'master' of github.com:mbeddr/mbeddr.core