BDDBUTreeAut: add symbolic dump

Conflicts:
	src/mtbdd/set_union_apply2func.hh
OndriksMTBDD: fix DumpToDot()
OndriksMTBDD: improve DumpToDot()
examples/: fix example3, example4