Use graphlib 0.5.3's compound graphs for DOT graphs