add affiliation for Fraunhofer
improve layout of Frama-C chapter
improve introduction to section of Frama-C
replace BitWalker -> \bitwalker
provide new version of document
Merge pull request #206 from jensgerlach/master

work on section on Frama-C