Add BDD to_dot method

Ideally, this will lead to more interesting ways of displaying BDDs.