Various Updates

Updates to DOT file export
Initial support for HTML export