GuillaumeGen

I don't know where to put it, but there are parentheses missing in the statements on the current web site of Logipedia. For instance, ∀ A, A ⇒ False ⇒...

This adds two examples on running Z3 lib on SMT lib files. A small `README` also explains how to run the examples.