Frama-C evaluation

Frama-C evaluation according to the template for VnV tools. A review by someone who's not an author of the tool would be welcome.