Cleaned up some files, and some bits of code in cdcl.ml. Added a basic dynamic array type for formulas. Lots of bug fixing left.