display edges as characters...
sync
sync
made epsilon edges dashed
styling changes to graphviz output
removed some debug cout statements