Updated dot.py to allow for importing DOT language files. Currently, it only reads node and edge statements, and only creates vertices in the context graph. The following node attributes are read: id, label, width (radius), color, pos