write on open issues
delete unnecessary file
Merge pull request #15 from carand/master

formal specification of function Bitwalker_IncrementalWalker_Init
formatting
specification of function peek_finish
format files