Typo in image fixed.
Missing literature added.
GPL License version added in Classical-B tools table.
Merge pull request #68 from astante/master

Minor improvements / corrections of the Classical B based toolchain description