docs, Docker, and scripts: Format guide, .dockerignore, shared Docker workflow

Goal

Extend documentation and align Docker/scripts with Graph and Parameters.

Changes

• CMake: Added cmake/prelude.cmake and cmake/project-is-top-level.cmake for consistency with other repositories.
• Docs: Added docs/en|ru/Format.md and linked them from docs/en|ru/README.md.
• Docker: Added .dockerignore.
• Scripts: Mount the repo at /circuitgen/<checkout-folder-name>; updated pre-push-docker.sh (copy mode + pwd -P) and the same pattern in CI/docs/installer Docker helpers.

Verification

• bash scripts/dev/pre-push.sh and/or pre-push-docker.sh as needed.