small fix of analyses docu
formal analyses are now integrated in the main tutorial documentation
Update the userguide with respect to analyses. The docu is basiclly copied from the tutorial.
Merge branch 'master' of https://github.com/mbeddr/mbeddr.core