Rename documentation tree to documents/ and update tooling, CI and test paths

[shun126]

Motivation

• Unify and correct the documentation directory name from document/ to documents/ and update all tooling that references it so generated site/wiki assets and links resolve correctly.
• Ensure CI workflows, doc build/export scripts and asset handling point at the new paths and keep generated outputs out of the repository.
• Keep developer tooling and test locations consistent by renaming test/ -> tests/ where used by build scripts and solution files.

Description

• Renamed the documentation source tree from document/ to documents/ and moved all files and assets accordingly (many document/... -> documents/...).
• Updated documentation tooling to use the new path: adjusted documents/tools/* scripts (build-pages.py, check-docs.py, export-wiki.py, manadoc.py, verify-examples.py) and their requirements.txt and tests to reference documents and documents/* assets and configurations (for example document_root defaults and asset prefixes).
• Updated CI/workflow files in .github/workflows/ to match the new paths: publish-pages.yml, publish-wiki.yml and build_and_analysis.yml now reference documents/... and updated Windows/Linux build/test invocation paths where needed.
• Adjusted repository files and tooling configs: README.md, examples/* docs, .gitignore (exclude tests/ and documents/ output), driver/Makefile (references to tests/), Visual Studio solution mana.sln and many test -> tests renames for C++ and mana test suites.

Testing

• No automated tests were executed as part of this change; the PR updates CI/workflow and test paths so that repository CI should exercise the adjusted pipelines.
• The change is limited to path and configuration updates (file renames and internal references) and requires running the documentation tool unit tests and CI to validate end-to-end behavior: run python -m unittest discover -s documents/tools and the existing CI workflows to confirm.

---

Codex Task