Fix benchmarks.
Added frama-c bench.