Z3: Print used parameters

[Philipp15b]

Once we're using a sufficiently new Z3 version, we should include Z3's output of used parameter settings in Caesar's SMT-LIB output: Z3Prover/z3@c2b7b58