package for frama-c Fluorine 2
Merge pull request #807 from vprevosto/master

New version of Frama-C available