Implemented saving and loading of cbmc analysis results
Merge remote-tracking branch 'origin/master'
smaller changes in the data flow analyses
resolved merge comflicts
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core
TODOs are blue again
merged
fixed all the broken refs and other small thigns
traces can now also be set from within documentation comments
started better comments for BL
migrated instance of BL comments
reasonable documentation comments in base language
small changes
small changes
an example of a word-wrapping intention.
added surround with intentions for formatting words
removed deleted langdep from util's project paths
added test targets in mpsutil's build.xml
added path to util's project file in text.ex.matcher
moved the targets for installing plugins into a build.xml