Z3 options not included in --print-smt/--smt-dir output

[ole-thoeb]

The outputted SMT code does not contain the options that were set for z3. This makes it harder to reproduce the result using the command line. The options should be included at the top of the SMT file, like (set-option :option_name value).