adding Smt2file
asdasd
asdasd
almost there, just fill in undefs
first draft of code, next: compile
hmm. everything builds.
almost done, run a test or two
adding SMT2 stuff but IO doesn't work
use `runInteractiveCommand` to start solver
smt2 interface seems to work...
smt2 v.0 works...
Merge pull request #30 from ucsd-progsys/smtlib2

Smtlib2: adding support for querying SMT solvers from Haskell.