initial version of Frama-C package
Merge pull request #6 from vprevosto/apps-frama-c

Package Frama-C application