Converted exact division and dumb division into a three-valued flag.

Also, support dumb division for bounded integers.
Fix for crash in loop condition blocks collector
Merge pull request #26 from jeroenk/collect

Fix for crash in loop condition blocks collector
Revert "This should be contained in "llvm-config --cxxflags" if needed."

This reverts commit 5e56bedd266e41f5b9afd918aefbf14e0cccb36e.