Automatically generate the graph image from .dot file

[aronisstav]

... rather than needing manual invocation of dot.

[aronisstav]

I've decided against doing this for the time being, adhering to the idea of "doing one thing well". The format of the exploration tree output should be improved, however, and any "graphical" representation should ultimately be moved outside of Concuerror.