Passing the right options in smt2 files depending on Z3 version

Fixes #6