Implemented smten-minisat backend.

It doesn't pass all the tests yet.
Fixed bugs in minisat backend.

It still doesn't support integers or bitvectors yet, but booleans appear to
work fine.
Implemented ite for list.
Added Integral class with Int instance.

Doesn't yet support div and mod.
Wrote a smten executable to make it easier to compile smten code.