add allocation_tracing.ml{,i}