dsl statement for searching steppables in subtrees
ExistsExpression for debugger DSL
Started refactoring debugger implementation for loops and StatementList
Merge branch 'master' of github.com:mbeddr/mbeddr.core

Conflicts:
	code/languages/com.mbeddr.core/languages/com.mbeddr.core.util/languageModels/behavior.mps
refactored debugging of If- and ForStatement
refactored debugging implementation of SwitchCase
fixed fq path in gitignore
updated the node selection based on the URL
Aliasses for cbmc predicates corrected
Merge branch 'master' of github.com:mbeddr/mbeddr.core
updated EclipseCon slides
Inline function in headers are declared static
fixed #792
inline functions in headers are now marked as static
(cherry picked from commit a48c7fe)
inline functions in headers are now marked as static
(cherry picked from commit cb0db50)
Merge branch 'master' into protoBuffers
first version of protocol buffers
added extern C for cpp in headers
Merge branch 'master' into protoBuffers
some additional constraints