Merge pull request #14 from carand/master

Format bitwalker_public.tex. Bitwalker_private should be formated, too.
turn chapters to sections
some cleanup
spell check
formal specification of function init