use graphviz's dot to paint graphs