How to timestamp (dot, fdp, neato, twopi, circo) -v output

Here is a (Linux) way to add timestamps to the stderr output from any of the Graphviz engines. It uses a program called ts (as in timestamp). (On my Ubuntu variant, ts was installed as part of the moreutilis package). Here is an example of use:
{ dot -v5 -T... myfile.gv >myfile.xyz ; } 2>&1 | ts -s >mystuff.log