Added function to dump dot format of a DdArray

[mikand]

An example use of this feature is:

import repycudd

mgr = repycudd.DdManager()
v = mgr.NewVar()
vec = mgr.Vector(v1)

mgr.DumpDotArray(vec, '/tmp/testfile.dot')