Fixes for Z3 in OCaml. There is an ugly hack in ask_process: it expects the last line of output from the process to be 'Done\!', otherwise, it loops forever.