Enriching the dot file output so that DDs with interactive trees can be visualized