Represent an EmptyBuild cache with a BuildCacheKey of 0.

Instead of having a separate tag.
Optimized ite for minisat.
Specialize solverFromAST for yices2, z3, and yices1.
Specialize solverFromAST and build for stp and minisat.
Try to reduce the number of negations in formulas.