initial version of Frama-C package