Support uint32_t datatypes on Leon 3's compiler.

include/dmmlib/heap.h

@@ -39,6 +39,10 @@
 #include <pthread.h>
 #endif /* HAVE_LOCKS */
 
+#ifdef LEON3
+typedef __uint32_t uint32_t ;
+#endif /* LEON3 */
+
 #ifdef WITH_KNOBS
 /**
  * A structure for knobs states (currently 5)