explicit message when analysis succeeds because NO assertions were found
added tooltips to the analyses settings
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
fixing the components analyzer
Merge remote-tracking branch 'origin/master'

Conflicts:
	code/languages/com.mbeddr.analyses/solutions/com.mbeddr.analyses.cbmc.components.rt/models/com/mbeddr/analyses/cbmc/components/rt/analyses/components.mps