Main changes since 26.0 Iron

This minor release fixes some issues related to the compilation and installation of Frama-C.

Other changes with respect to Frama-C 26.0 (Iron) include:

Kernel

• Accepts \ghost attribute in logic annotations
• Fixes issue in pretty-printing ranges

WP

• Fixes 'terminates' goals generation when some 'terminates' or 'decreases' clauses are missing.