Fixed bugs in DOT and RTF output.
Added simple HTML output support.