Backend for DOT (Graphviz).
This backend writes a graph in the DOT language, for the ease of IR inspection and debugging.
String