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.