remove label in bitwalker_poke listing in sqs section
add examples to section on Frama-C
remove generated file