Classical B Toolchain image updated.
Minor updates in Sysml Classical B section.
Merge pull request #146 from astante/master

Fix of issue #141