Added function to dump dot format of a DdArray#3

mikand wants to merge 2 commits into

masterpysmt/repycudd:masterfrom

ddmanager_dumpdot_extensionpysmt/repycudd:ddmanager_dumpdot_extensionCopy head branch name to clipboard