Add an option to specify profiling interval such as 1ms and 100us.
Pull request: https://github.com/WebKit/WebKit/pull/16060
Committed 266283@main (64ebe5ffcf06): <https://commits.webkit.org/266283@main> Reviewed commits have been landed. Closing PR #16060 and removing active labels.
<rdar://problem/112814221>