Added script to convert DOT graphs to digraphs

- Untested because my local Python installation is broken