replace LTL_AST.dump_dot with to_pydot

because pydot is used by nx.write_dot. Use pydot's methods for saving any desired format supported by graphviz.