rename to PeekBit8*
rename to PokeBit8*
update Makefile for new files names
try rewrite PokeBit8Array with "left" version of

PokeBit8 but it only works with PokeRightBit8 ...
update loop invariant and proof of Poke
add slide about undefined behavior