Package Frama-C application