[Ivette] Search mode to apply Studia on arbitrary lvalues

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

Fix warnings 67 and 69

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

Merge branch 'feature/martin/kernel/1312-add-mode-skip-for-option-generated-spec-custom' into 'master'

Resolve "Add mode "skip" for option -generated-spec-custom"

Closes #1312

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

Force disable gui on macOS

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

[qed] moved into libraries and remove Frama-C deps

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

[Eva] User manual: adds sections about evaluation subdivisions and ACSL directives

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

[Kernel] fix a few typos, reword some comments

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

New script to compute dir coverage using --coverage output

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

[Dev] update Docker base images; add Makefile targets

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

[tests] force dune tests

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

[kernel] fix missing function designator conversions to function ptr.

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

Tried to improve the code clarity and readability