[Doc] Revamp userman's chapter on reporting errors (BTS -> Gitlab)

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

[Libc] add specs for ftello/fseeko

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

[wp] Use Filepath instead of mere strings.

Closes #782

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

Rework Specific_dir API

Closes #783

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

[kernel] Avoid to create an already existing directory. Abort if a file with same path already exists.

Add autocomplete for -kernel-msg-key, -wp-msg-key, -kernel-warn-key and -wp-prover

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

Fix typos

[analysis-scripts] remove deprecated .loop-related rules

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

[InOut][Eva] Add primitive support for logic assertions.

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

[wp] backport nupw 6.6+dev

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

Used by the Inout plugin, and then indirectly by Memexec.

[ptests] ensure exec log comparison are done in the relevant directory

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