[tests] use shorter, path-independent includes

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

[rte] Fixes initialization alarms

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

- warns only on fundamental types reads

- RTE is stricter than C for unsigned chars
- RTE does not warn on initialization for structs/union

Pretty prints array formal variable as array

Closes #392

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

Fix/andre/cpp with jcdb subdir

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

also consider `restrict` as a keyword for pretty-printing purposes.

[Libc] In math.h, fixes the assumes of behavior nan in functions sin and cos.

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

we don't want to know what creative use of the attributes some plugins
can imagine