Merge pull request #5 from vprevosto/alt-ergo-0.95.2

Alt ergo 0.95.2
Merge pull request #6 from vprevosto/apps-frama-c

Package Frama-C application