Remove grammar strategy (invalid circular proofs), new example grammar.
Adapt plot files to changed grammars.
Write more about benchmark grammars and include new plots.