Add function to produce a dot-graph file from DAG

[hsanjuan]

The DotDAG() function writes a dot graph of the CRDT DAG to the provided writer. It can be use to visualize the DAG and inspect things like amount of branching.