add --svg option to produce different dot file for that format, to work around graphviz issue 2139; fixes #6