migration to EAP 29
Tutorial update - State machines and Requirements chapters + Adapt example code
enhancements in the doc.meta language
Merge remote-tracking branch 'origin/master'
added a comment to Dan's LangSpec.
fixed build script
small improvements in lifting assignments for core
tests are green
started with external references
major refactorings to better modularize the CBMC analyses
added a demo language for external refs
updated build file for exref demo language
separating the pluginSolutions for components and statemachines analyses
fixed bugs in tutorial languages
refactoring the linking between CProverAnalysisBase and concrete analyzers
first demo of external references works.
Non-working try with extension points for interpreter registration
cleaning up the "loadPersistentResults"
fixing the analyses build
improved selection after parenthesis editing + first editor test #1014