Add spreadsheet geenration based on jquery Grid

benchmark/website/source/utils.js

@@ -91,3 +91,30 @@ function buildChart(ctx, bare_data) {
                 }
       });
 }
+
+function buildSpreadsheet(ctx, data) {
+  // Generate columns for header.
+  var columns = [{label: "", name: "", width: 300}];
+  for (label of data.labels) {
+    columns.push({label: label, name: label});
+  }
+  // Generate actual data.
+  var rows = [];
+  for (dataset of data.datasets) {
+    var row = [dataset.label];
+    for (value of dataset.data) {
+      row.push(secondsToHumanReadable(value));
+    }
+    rows.push(row);
+  }
+  // Create actual table.
+  $(ctx).jqGrid({
+    data: rows,
+    localReader: {repeatitems: true},
+    datatype: "local",
+    styleUI : 'Bootstrap',
+    colModel: columns,
+    caption: "Spreadsheet",
+    height: 300,
+  });
+}