Add Graphviz directory in doc/ with an initial actor supervision graph

{Buyer|Seller}HandshakeActor is missing here