13.6.7 Profiling multiple threads

hcl:do-profiling is a new convenience function for profiling multiple threads.