Fix a couple of apparent precedence problems in AST (pointed out by
GCC warnings). Interestingly, these don't seem to change any regression
results.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@34 e59a4935-1847-0410-ae03-e826735625c1

Include <cstring> in ASTUtil.h, for its use of strcmp(). Good
practice, and required by picky newer versions of g++.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@33 e59a4935-1847-0410-ae03-e826735625c1

Round $n$ as I try to incorporate my work from the summer. Major updates
include (a) the newest version of MiniSat, (b) improved CNF conversion, and (c)
various other improvements.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@32 e59a4935-1847-0410-ae03-e826735625c1