[doc] fix some tiny errors in INSTALL.md

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

[Interpreted_automata] dataflow analysis: implements an ordered iteration over results

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

[ivette] Fixes states requests at launch.

Closes #1208

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

The current project must be initially empty. When the server is ready, the
current project is set to the default Frama-C project. This project update
triggers requests to be sent if needed.

[Ivette] Fixes synchronization of properties status

Closes #1203

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

[libc] improve POSIX and non-POSIX compatibility

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

[Aorai] using menhir

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

[Eva] Bitwise domain: fixes interpretation of shift and cast on big-endian architectures

Closes #1201

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

Allows using menhir

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

Upgrades tests to yojson 2

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

removing print_api plug-in

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

[lint]  supports more indent formatters

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

[Eva] Fixes partitioning splits on ACSL predicates.

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

Splits on ACSL predicates do not try to split and reduce states in which the
predicate is already satisfied or refuted.

[make] fixed echo -n in Makefile

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

A split has failed if the reduced state is equal to the entry state _and_
the predicate evaluates to Unknown.
If the predicate evaluates to True/False in the entry state, then the state
cannot be reduced: the reduced state is then equal to the entry state), but
this is not a failure: the split holds.