rename package: bdd -> dd

to anticipate support for types of decision diagrams other than binary.
pep8
add readme and setup.py