[make] fixed echo -n in Makefile

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

Refactor module `Gmp`

Closes e-acsl#193

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

[analysis-scripts] ensure compatibility with Python >=3.7

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

Loïc Correnson authored 2 years ago and Andre Maroneze committed 2 years ago

On macOS, when running via Makefile, '-n' is not seen as an 'echo' option and
gets printed in the output. With 'echo <msg>\c', it works on macOS, but not on
Linux, which requires '-e' to interpret escape characters.
'printf' avoids the issue since it does not include a terminating newline by
default.

Merge branch '1198-messages-perdus-informations-manquantes-lors-de-changements-de-vue-pendant-une-analyse' into 'master'

[ivette] Consolidation of states

Closes #1198

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

[Kernel] fix aligned attribute behavior on typedefs

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

[install] allows to use FRAMAC_INSTALLDIR when PREFIX is undefined

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