improve oracle support and add hide_lemma
Merge branch 'feature-improved-graph-output' into feature-external-heuristic
Debugging new algorithm part.
Bugfix in description of parameter order.
Factoring out debugging of protocol rule parameters.
New improved merging of similar leaf nodes.
Merge branch 'feature-improved-graph-output' of github.com:tamarin-prover/tamarin-prover into feature-improved-graph-output