Dynamically load z3 backend at runtime.
Moved z3 backend into smten-lib package.

Which we can do now that z3 is dynamically loaded at runtime.
Remove unused yices1 FFI bindings.

In preparation for loading yices1 dynamically at runtime.
Dynamically load the yices1 library at runtime.

We no longer need to create a special yices1 library with symbols renamed.
There is a problem with the SMT.Bit.Large test case now though, which I don't
understand.
Move yices1 backend into smten-lib package.

This fixes #5.
Don't warn about unused symbols in generated code.
Support the -rtsopts flag in the smten compiler.
Change generated haskell pretty printer to output less whitespace.

And hopefully still be pretty if you impose a line limit other than maxBound.
This can lead to drastic reductions in the size of the generated haskell
files. It does not appear to have any effect on the performance of GHC in
compiling those generated haskell files.
Implement "read" for Integer, Int, and Bit.

This fixes #4.
Wrote a tutoral on SMT backends.
Updated README to reflect change in package organization.
Close the handle to the debug file when done.

Otherwise we get resource busy errors when debug solver is used twice with the
same filename.