Help/instrumentation: Provide links to supporting pages

Replace existing syntax-highlighted text with Sphinx directives so that
the referenced commands are linked to their respective pages. This also
requires adding a proper documentation entry for the
`ctest --collect-instrumentation` option.