Circuit Graph Plot: added export to SVG and CSV.

Results in files being downloaded, directly from javascript thanks to FileSaver.js.

Notice that the CSS stylesheet had to be hard-coded into the plot,
otherwise the downloaded SVG lacks a few style attributes.