In template_react, use JSON instead of JavaScript object notation
In template_react, use JSON instead of JavaScript object notation

Everything nested in the data object was already JSON,
but the outermost dict keys were specified without quotes,
which is only legal in JavaScript, not in JSON.

This makes it easier to further process the whole object
outside of JavaScript.

ultimate-pa/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,ultimate-pa/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,dbeyer/benchexec,ultimate-pa/benchexec,dbeyer/benchexec,sosy-lab/benchexec