Release 3.24

• Duplicate tasks in benchmark definitions ignored.
  Inside a single <tasks> tag in a benchmark definition it can happen that a specific task is included more than once.
  These copies of the task would be exactly identical and thus redundant, but they also create problems for benchmarking because they violate the assumption that tasks have unique identifiers. So now benchexec simply ignores such duplicates of tasks.
  This makes it easier to write benchmark definitions with broad wildcards, for example if you want to include both foo*.yml and *foo.yml but some tasks match both wildcards.
• Two new tool-info modules for KeY CLI and Pono.

The HTML tables produced by table-generator also contain a major technical improvement thanks to our GSoC participant @EshaanAgg, but no user-visible changes.