genltl should have options to generate the formula from bench/ltl2tgba/formulae.ltl

These are not really scalable patterns, but it would help to have these formulas giving short example commands, especially with ltlcross.