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

this is a co-request of ucsd-progsys/liquidhaskell#94