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

This is a co-request of  ucsd-progsys/liquid-fixpoint#15

https://github.com/ucsd-progsys/liquid-fixpoint/pull/15