Print out some more timing information. Dramatically improve the efficiency of
removing non-print characters from (and adding escape characters to) graph SVG
strings.