Make doctool page titles better for SEO

[ericholscher]

I got this result in Google but it was pretty basic with just the tool name.

[read-the-docs-community]

Documentation build overview

📚 dev | 🛠️ Build #30458478 | 📁 Comparing 1513c1e against latest (fe2f472)

🔍 Preview build

Show files changed (6 files in total): 📝 6 modified | ➕ 0 added | ➖ 0 deleted

File	Status
contribute.html	📝 modified
install.html	📝 modified
search-integration.html	📝 modified
style-guide.html	📝 modified
design/embed-api.html	📝 modified
design/theme-context.html	📝 modified

[read-the-docs-community]

Documentation build overview

📚 docs | 🛠️ Build #30458479 | 📁 Comparing 1513c1e against latest (fe2f472)

🔍 Preview build

Show files changed (13 files in total): 📝 13 modified | ➕ 0 added | ➖ 0 deleted

File	Status
build-customization.html	📝 modified
support.html	📝 modified
about/index.html	📝 modified
config-file/v2.html	📝 modified
intro/antora.html	📝 modified
intro/docusaurus.html	📝 modified
intro/markdoc.html	📝 modified
intro/mdbook.html	📝 modified
intro/mkdocs.html	📝 modified
intro/sphinx.html	📝 modified
intro/vitepress.html	📝 modified
tutorial/index.html	📝 modified
tutorials/index.html	📝 modified