Bench ast diff

See merge request !34

[x509-parser] add optional WP target

See merge request !20

allow local installation with post-dune Frama-C

See merge request !32

synchronize with frama-c master

See merge request !31

fix artifacts per job

See merge request !30

split CI tests for better feedback and to avoid timeouts

See merge request !26

add git pre-commit hook to prevent mistakes

See merge request !27

Consider running 'git config core.hooksPath .githooks' in your OSCS clone
to enable it.

Sync with frama-c master after MR !3660 and !3698

See merge request !25

Also avoids a failure on a recursive function without specification
(function factorial in file 00168.c).

Adds annotations to disable partitioning in file 00040.c to avoid combinatorial
explosion.