Initialize divisor in interval accuracy.  Fixes #172.
IntegerInterval: accuracy fix float conversions
ProductVector: ASSERT - if one mValue is bottom, all must be bottom
Fixed conversion from Interval to Set.
Fixes #174.
Fixed bottom values fro integer domains.
Use the LLVM command line parser instead of the GNU parser.

Decreases the dependency on Linux.
README
Modifiy Float::Interval::getMin and getMax to work the same way as Integer::Interval
Fixes #148.
Modifiy Float::Interval::getMin and getMax to work the same way as Integer::Interval
Fixes #148.
Fixed bottom value behavior in some ArrayExactSize operations. #173
Better documentation.

Conflicts:
	docs/Makefile.am
	docs/doxygen.conf
Merged APIntUtils into IntegerUtils.
Removed unused mType from Domain.

Comments for operations.
Updated doxygen.conf
Assertions and comments.
ProductVector: fix failing test
strcat
Merge branch 'string_trie'
removed the shell command, simplified includes
merge