Merge remote-tracking branch 'origin/stable/copper'

.gitattributes

.gitignore

.gitlab-ci.yml

ALL_VERSIONS

doc/userman/user-changes.tex

doc/userman/user-sources.tex

ivette/Makefile

ivette/package.json

ivette/tests/libs/e2eService.ts

ivette/tests/libs/locatorsUtil.ts

nix/e-acsl-tests.nix

nix/pkgs.nix

opam

reference-configuration.md

releases/29.0.md

share/analysis-scripts/build.py

share/analysis-scripts/build_callgraph.py

share/analysis-scripts/estimate_difficulty.py

share/analysis-scripts/external_tool.py

share/analysis-scripts/fc-estimate-difficulty.mk