frama-clang 0.0.10

Virgile Prevostorequested to merge
feature/frama-clang-0.0.10-release into master

Announce new Frama-Clang release (compatibility with Frama-C 22.0)

Merge request reports