Merge pull request #68 from astante/master

Minor improvements / corrections of the Classical B based toolchain description
Rephrasing of Decisions 4 and 5, as discussed during today's telco
Create README.md
Update README.md
List of used tools completed. GPL license version added in tool table.
Update README.md
Minor update of table and text.
SysML/Classical B toolchain image updated.
Updated Biblio and glossary
Merge branch 'master' of https://github.com/openETCS/toolchain