[native] Add doc link to prestissimo page on develop ToC

[czentgr]

This PR adds the link of the prestissimo page to the develop page ToC that was missing.

Description

Adding a simple link on the develop page to the prestissimo page.

Motivation and Context

A user can not browse via links to the prestissimo page. Instead, the link has to be given directly.

Impact

A user can now browse to the prestissimo documentation page in the develop section.

Test Plan

None.

Contributor checklist

• Please make sure your submission complies with our development, formatting, commit message, and attribution guidelines.
• PR description addresses the issue accurately and concisely. If the change is non-trivial, a GitHub Issue is referenced.
• Documented new properties (with its default value), SQL syntax, functions, or other functionality.
• If release notes are required, they follow the release notes guidelines.
• Adequate tests were added if applicable.
• CI passed.

Release Notes

Please follow release notes guidelines and fill in the release notes below.

== NO RELEASE NOTE ==

[steveburnett]

LGTM! (docs)

Built locally, link displays on the Developer Guide and selecting the link displays the Presto Native - Prestissimo page.

[czentgr]

LGTM! (docs)

Built locally, link displays on the Developer Guide and selecting the link displays the Presto Native - Prestissimo page.

@steveburnett thank you for the review!

[github-actions]

Codenotify: Notifying subscribers in CODENOTIFY files for diff 13b2f5c...e8053ed.

Notify	File(s)
@steveburnett	presto-docs/src/main/sphinx/develop.rst

[tdcmeehan]

Thanks for adding this!

[mbasmanova]

@czentgr For some reason, I still don't see this doc in https://prestodb.io/docs/current/develop.html What else is missing?

CC: @Yuhta @pedroerp @tdcmeehan

[tdcmeehan]

This will be added when the next release is finished (next few days)

[mbasmanova]

@tdcmeehan Tim, thank you for clarifying. What's the usual delay between adding docs and seeing them published?

[tdcmeehan]

We publish docs for every major release, which are now being cut roughly every 2 months.

[mbasmanova]

@tdcmeehan Tim, thank you for clarifying. Do you think it would be helpful to publish "in-progress" version of the documentation as 2 months is a rather long time.

[tdcmeehan]

We could add an unstable documentation page, as I believe other projects do. This would be for the last edge release or whatever is on trunk.

CC: @wanglinsong

[mbasmanova]

We could add an unstable documentation page

That would be very helpful. Thanks.