List of used tools completed. GPL license version added in tool table.
Minor update of table and text.
SysML/Classical B toolchain image updated.
Merge branch 'master' of https://github.com/openETCS/toolchain
Merge pull request #76 from astante/master

Resolving some issues of the Classical B based toolchain description