Added a clarification regarding SIL4 code generation in the Classical B toolchain.
Merge pull request #147 from astante/master

Fix of issue #118