Added lexifi bench, updated others.
Fix benchmarks.
Added frama-c bench.
Added sauvola bench.
Do not put number of iteration in names.
Update benchs.
alt-ergo-bench