Added a note about Frama-C