timbuk.y: change requirements for bison to 3.0.0
examples: fix a bug in example4