Export into Latex or HTML tables results of a benchmark