Fix small typo in export_dot.py
Implements dotfile output in Scala RENDLER