benchmark.html: add button to download the graph