Merge pull request #713 from ldorau/Add_RAVL_tree_for_Coarse_Provider

Add RAVL tree for Coarse Provider

Author: ldorau

src/CMakeLists.txt

@@ -84,6 +84,7 @@ set(UMF_SOURCES
     memspace.c
     provider/provider_tracking.c
     critnib/critnib.c
+    ravl/ravl.c
     pool/pool_proxy.c
     pool/pool_scalable.c)