Smtlib: Use smtlib2 and pipe-based communication instead of linking directly with Z3