eeks should have pulled before adding code for smtsolver option
Merge branch 'master' of github.com:ucsd-progsys/liquidhaskell

y u ask to merge?
added first log for smtlib-z3 run
why is damn regrtest grumbling. ugh.
adding z3mem benchmark. 100s slower but still.
update zs-smtlib log
next: fix the makefiles
now smtlib-z3 is the DEFAULT, see --smtsolver for specifying others
Merge pull request #94 from ucsd-progsys/smtlib

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