Export graphs to .dot