Fix indentation
Generic solution for selects

Keep the special cases, as they generate smaller
constraints.
Merge pull request #13 from jeroenk/indent

Fix indentation
Merge pull request #14 from jeroenk/select

Generic solution for selects
Plug some mpz memory leaks and remove redundant copying
Silence a warning.
Some style.
Fixed some indentation.
Create DNF for selects.

Constraints are converted to DNF later on anyway, so I might be better
to create them in DNF.
Handle calls with vector and struct returns

The return value is ignored as in the case of any
other non-integer return.
Some more style and indentation.
Merge pull request #15 from jeroenk/mpz

Plug some mpz memory leaks and remove redundant copying
Merge pull request #16 from jeroenk/vectstruct

Handle calls with vector and struct returns
Optimisations in Constraint creation
Revert "This should be contained in "llvm-config --cxxflags" if needed."

This reverts commit 5e56bedd266e41f5b9afd918aefbf14e0cccb36e.