Use the IR compilation pipeline in all CLI tests

Currently we still have some tests that use the legacy pipeline, most of them in the `cmdlineTests` suite. We should switch them over to `--via-ir`.

Examples:
- [`~compilation_tests`](https://github.com/ethereum/solidity/blob/develop/test/cmdlineTests/~compilation_tests/test.sh)
- [`~documentation_examples`](https://github.com/ethereum/solidity/blob/develop/test/cmdlineTests/~documentation_examples/test.sh)
- [`docs_version_pragma_check.sh`](https://github.com/ethereum/solidity/blob/develop/scripts/docs_version_pragma_check.sh)

Many of them use the `compileFull` helper, so making it run via IR by default would be a good idea.

Find them all and convert them.

Start with test/cmdlineTests/~compilation_tests/test.sh, test/cmdlineTests/~documentation_examples/test.sh, and scripts/docs_version_pragma_check.sh; inspect the compileFull helper and existing --via-ir usage. Run the affected CLI tests before and after converting legacy-pipeline cases, then search the cmdlineTests suite for remaining cases. Done means all identified CLI tests use the IR pipeline without regressions.

Written by the indexing model from the issue text.