Adds Diffblue Cover integration doc page to the global nav

What does this MR do and why?

This MR adds the doc page for the Diffblue Cover integration to the global nav.

Relates to: Diffblue Cover integration (gitlab!134437 - merged) and Rename diffblue doc to use underscore (gitlab!141324 - merged)

Screenshots, screen recordings, or links to review app

These are strongly recommended to assist reviewers and reduce the time to merge your change.

Merge request acceptance checklist

This checklist encourages us to confirm any changes have been analyzed to reduce risks in quality, performance, reliability, security, and maintainability.

• I have evaluated the MR acceptance checklist for this merge request.