ConditionSimplifier --> ConstraintSimplifier
BoundConditioner --> BoundConstrainer
Import KLEE's Ref.h
Use ref with Term and Rule
Use ref with Polynomial
Use ref with Condition
Make compile under C++03

Also fix some indentation
Optimisations in Constraint creation
Plug some memory leaks
Let getDualClauses consume less stack space
Revert "This should be contained in "llvm-config --cxxflags" if needed."

This reverts commit 5e56bedd266e41f5b9afd918aefbf14e0cccb36e.