[doc,library] Add section on tracing C-FFI calls.
[doc,library] Add local TOC to C-FFI docs.