[Predef-contribute] Adding Frama-C to the compilers list

[Basile D. <bas...@gm...>]

Hello,

Would-it be possible to add Frama-C to the list of compilers? It's an
open-source static analysis tool that is not as popular as Coverity, but
performs a similar task. It can be identified with the "__FRAMAC__" macro
and its website is http://frama-c.com/

Best regards,
Basile Desloges