For Bit cell, use 0 through 8, not 1 through 9.

It's a little faster on all solvers but yices1.
Clean up minisat c based solution.

Now it directly finds the conflict pairs, instead of filtering them
out from a larger set.
Made Bool2 config to match msnqueens.cc, and added y2nqueens.cc
Implemented hand-coded minisat with CNF conversion.
Switched to new performance gathering script.

Which times a single n instead of all from zero that can be done in a time
limit.
Updated ms2nqueens to use same interface as smten-minisat.
Implemented a version of nqueens using FFI to minisat.
Implemented more versions of nqueens to locate overheads.
Generate release and profile versions of ms?nqueens
Reclassify some tests, because they don't work well with other solvers.
Fixed return bug in Sketch.
Added support for 'harness' functions.
Change how arguments to a function are represented.

In preparation for supporting reference arguments.
Minor cleanup of Eval monad.
Reverted to old aiger FORMAT.
Support explicit cast from 0 to bit[W].
Build into a build directory.
Add way to run and test smten model checker.
Fixed bug in tests for unsat.

It was looking in the sat directory, not the unsat directory.
Initial commit of a regex synthesis example.