package for frama-c Fluorine 2