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