added references to rules causing the ts errors
fixed build scripts
small fixes
Merge branch 'master' of github.com:mbeddr/mbeddr.core
dataflow for debugger concepts
Merge branch 'master' of github.com:mbeddr/mbeddr.core
Remove specific comment rather than removing all comments
Merge pull request #1148 from LMS-SIEMENS/bugfix1018

Remove specific comment rather than removing all comments
enabling the DT analyses from entry 'main' only for DTs located in functions
fixing the interaction of mbeddr analyses with CBMC 4.9
removed the list of ProgressMonitorAdapters - we do not need that anyway anymore
Merge branch 'master' into feature/dataflow

Conflicts:
	code/languages/com.mbeddr.core/tests/test.ts.core/models/tests1@tests.mps