spell check
formal specification of function init
Merge pull request #15 from carand/master

formal specification of function Bitwalker_IncrementalWalker_Init
formatting
specification of function peek_finish
format files
specification of function poke_finish
Merge pull request #16 from carand/master

specification of peek_finish
modified the specifications oof peek_finish and poke_finish.
Merge pull request #17 from carand/master

modified the specifications of peek_finish and poke_finish.
reformat comments
add file for bug report
fix missing reference
make function more complex
write introduction to chapter 3
remove listoffixmes
add some tect to introduction
Merge pull request #212 from jensgerlach/master

improve introduction (also intro to Chapter 3)