New version of Frama-C available

This patch provides a package for the latest Frama-C version, Fluorine-2 (largely copied from Frama-C Oxygen package).