Fix redis-hbo-provider docs and add coordinator hbo configuration

[jaystarshot]

Fixes #21474

[DOC change only]

Correct the documentation where the wrong configuration file name was mentioned. Include the properties for HBO configuration on the coordinator.

Motivation and Context

Impact

Test Plan

Contributor checklist

== RELEASE NOTES ==

General Changes
* Fixed redis-provider-plugin docs which previously contained an incorrect file name for property loading, and included the HBO configurations for the coordinator.

[github-actions]

Codenotify: Notifying subscribers in CODENOTIFY files for diff 76ae3ed...3589289.

Notify	File(s)
@steveburnett	presto-docs/src/main/sphinx/plugin/redis-hbo-provider.rst

[steveburnett]

LGTM! (docs)

Local build of docs, reviewed it with #21474 in mind and these changes address the concerns raised there.

I would suggest that you consider, in the PR, deleting everything in the Release Notes section below the line "Fixed redis-provider-plugin docs...". But that's separate from the docs content that I've reviewed.

Thanks!

[steveburnett]

Thanks for updating the release notes entry!

[jaystarshot]

@steveburnett I added documentation for 2 new configs too in the optimizer part. Thanks!

[steveburnett]

LGTM! (docs)

Reviewed new updated docs in a local build, everything looks good. Thanks!

[steveburnett]

@steveburnett I added documentation for 2 new configs too in the optimizer part. Thanks!

Re-reviewed, and approved. Thanks!