chore(docs): title changes in tools section (#3758)

Some more title changes based on SEO recommendations.

See: #3164

## Checklist

- [x] Title matches [Winglang's style guide](https://www.winglang.io/contributing/start-here/pull_requests#how-are-pull-request-titles-formatted)
- [x] Description explains motivation and solution
- [x] Tests added (always)
- [x] Docs updated (only required for features)
- [x] Added `pr/e2e-full` label if this feature requires end-to-end testing

*By submitting this pull request, I confirm that my contribution is made under the terms of the [Wing Cloud Contribution License](https://github.com/winglang/wing/blob/main/CONTRIBUTION_LICENSE.md)*.

docs/docs/06-tools/01-cli.md

@@ -1,6 +1,7 @@
 ---
-title: CLI user manual
+title: "CLI User Manual: Compile, Test, and Run Wing Programs"
 id: cli
+sidebar_label: CLI User Manual
 description: Wing CLI reference
 keywords: [Wing reference, Wing language, language, Wing language spec, Wing programming language, cli]
 ---

docs/docs/06-tools/03-plugins.md

@@ -1,7 +1,8 @@
 ---
-title: Compiler plugins
+title: "Extending The Wing Compiler: Plugin Design and Hooks"
 id: compiler-plugins
 description: Wing compiler plugins reference
+sidebar_label: Compiler Plugins
 keywords: [Wing reference, Wing language, language, Wing language spec, Wing programming language, compiler plugins]
 ---