Merge pull request #66 from astante/master

Missing sections for Classical B based toolchain description
Completion of results section
Final round on D7.1