Function lean_finalize_task_manager 

pub unsafe extern "C" fn lean_finalize_task_manager()

Stop the Lean task manager and join all workers (lean.h:1274).