clarify assigns clause of Bitwalker_Poke
reformulate informal spec of Bitwalker_Poke
reformulate comments
describe loop invariants of Bitwalker_Poke
just an empty line added
add file for review (will only be updated after major changes)
use new behavior name invalid_bit_sequence
reorder text
use nomargin optin for fixme
use \valid_read in Peek and explain its usage
add example for question about "invalid" assigns
make pdf of new version accessible
Merge pull request #205 from jensgerlach/master

describe code annotations for Bitwalker_Poke