better rendering of the infromation in the CProver-UI window.
readable names for SM-targets
small fix
small fix in building the call-graph
small fix
improvements in statemachines
extracting the language coverage assessment in com.mbeddr.core.qa
added the coverage of concepts assessments
moved qa into the core project; renamed core.lantest into analyses.lantest
added analyses.lantest
new statemachine tests
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixing the build