Unpolished benchmark report.

Current design of the benchmark report is very outdated.

• less verbose html structure.
• better visualization of results
• display more information, e.g., all known configuration.
• remove non-existing links to archive.