Extended the Python api with node level and exports

[mlaveaux]

In this pull request I exposed the node level in the bdd, bcdd and zdd. Currently, this has not yet been done with a HasLevel protocol as it is done in the Rust side. Added the ability to export BDDs in Python in DDDmp and dot formats. However, this is not yet possible for zdd and bcdd