Feature/martin/kernel/use record for types

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

Add a record with 2 fields : tnode and tattr

[Eva] Replaces environment variable FRAMA_C_MEMORY_FOOTPRINT by an Eva parameter -eva-cache-size

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

The new parameter is -eva-cache-size.

Also take a Hptmap_sig.cache_type argument instead of ~name and ~temporary.
This is consistent with all other cached functions in hptmap.

[alias] take into account global variable definitions

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

[lib] fix Json printer for N.

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

[kernel] Fix typing of types in builtins

Closes #1482

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

The builtins `__builtin_types_compatible_p` and `__builtin_va_arg` need
a type as argument. Frama-C converts them to an expression to be able to
type the builtin call.

This commit change the conversion in `cparser.mly` from a sizeof on the
type to a cast with a marker indicating from which builtin the argument
is coming from. This allows `cabs2cil` to type this expression
differently than a regular cast or sizeof.

[Dev] add Cram tests to 'make default-tests' and generalize nix cram testing

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

[scripts] Remove unexisting git hashes in git-replace.sh

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

[doc] Fix few odoc warnings

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

[Ivette] added doc Callgraph + added color in markdown iconTag + added markdown ledTag

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

[nix] update commit

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

- upgrade camlp5 to 8.03.01 (OCaml 5.3 compatibility)
- upgrade mlmpfr + patch 5.3 (Werror in Nix)
- downgrade dolmen (Alt-Ergo)
- upgrade ppxlib_jane (Alt-Ergo)
- upgrade ppxlib (OCaml 5.3 compatibility)

[tests] use basic regex for filtering

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

[Kernel] Generic monad interface

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