PyGraphViz seems to guess output format from the filename extension. Now PyDot does too!