Classical B Toolchain image updated.
Minor updates in Sysml Classical B section.