Removed all "todo" comments from the whole document.
Merge pull request #76 from astante/master

Resolving some issues of the Classical B based toolchain description
Merge branch 'master' of https://github.com/openETCS/toolchain