Removing a few more hard-coded values for domains and ranges of Array objects
Asserting that update lists have non-NULL roots within ReadExpr objects (update
lists can have NULL roots, e.g. in MemoryObject instances with concrete
contents, where root is allocated lazily only when the updates are required).
Also checking whether array updates are typed correctly in UpdateList::extend()
rather than in the constructor of UpdateNode (only for update lists with
non-NULL roots).
Merge pull request #112 from hpalikareva/domain-range-extra

Removing a few more hard-coded values for domains and ranges of Array ob...
Fix handling of memory usage in KLEE.

Memory usage API in LLVM since 3.3 is not working the way it is
intended by KLEE. This ports the pre 3.3. version to KLEE.

Fixes the malloc test case.
Have configure check for presense of mallinfo for the newly added
klee::util::GetTotalMemoryUsage()
Modify klee::util::GetTotalMemoryUsage() so that if the system is
not using glibc the malloc usage if computed differently.
Renamed GetTotalMemoryUsage to GetTotalMallocUsage