minor fix in layout
describe steps of demo
finish description
start with description of poke contract
activate other test dir
reformat and allowing Length == 0
remove coq from makefile
finish description of the ACSL scpec of poke
Merge pull request #204 from jensgerlach/master

description of ACSL contract of Bitwalker_Poke