Merge pull request #12 from jeroenk/memory

Two memory allocation related changes
Optimisations in Constraint creation
Revert "This should be contained in "llvm-config --cxxflags" if needed."

This reverts commit 5e56bedd266e41f5b9afd918aefbf14e0cccb36e.