Add links to raw results to HTML tables

[PhilippWendler]

We could add links to the result XML files into the HTML tables, such that we encourage users who publish tables to also publish the raw results, and encourage users who look at tables to use table-generator to create their own tables.

The only open question is where to add such links in the tables. @sosy-lab/benchexec, @kfriedberger, @mdangl: ideas?

[kfriedberger]

As we can have several XML files per table, this question is not trivial. We normally have one XML file for each column, thus I would put it somewhere into the header of the table. The corresponding header cell should not be spanned over several columns, i.e. like 'limits' cell. Someone might also merge/union several XML files into one column, above each other. In this case we would need several links somewhere. What about a 'hover/mouseover' label near the table header, where we can collect such additional links for each column?

[PhilippWendler]

Idea: another overlay pane named "raw data" reachable via the header, with links to all result XML files, logfiles ZIPs, CSV version of the table (if generated), and all information on how the table was generated (table XML if it was used, command-line flags).