Change expr/bdd to_dot from digraph to graph

The arrows in the output look like unnecessary clutter to me.