[WP] remove French quotes and fix typos

See merge request frama-c/frama-c!3968

Upgrade minimal version of OCaml+ CI

Closes #811

See merge request frama-c/frama-c!3915

David Bühler authored 2 years ago and Allan Blanchard committed 2 years ago

No more exception is needed as /doc/code is no longer used to generate the html
API documentation.

- more recent Nix commit
- update camlp5 for OCaml 4.14
- downgrade menhir for Alt-Ergo 2.2

[build] make install: replaces environment variable INSTALLDIR by PREFIX.

See merge request frama-c/frama-c!3959

David Bühler authored 2 years ago and Allan Blanchard committed 2 years ago

This is more coherent with `dune install --prefix` option and other targets
`make install` in doc and ivette Makefiles.

Excludes some files from the distributed archive.

Closes #1177

See merge request frama-c/frama-c!3943

- kept intros to be ported to odoc

Feature/interpreted automata/transfunctional ids

Closes #1132

See merge request frama-c/frama-c!3928

Resolve "[Ivette/Server] restore make server-doc"

Closes #1179

See merge request frama-c/frama-c!3958

update Changelog following !3913

See merge request frama-c/frama-c!3969