Fix issue #33

Use Python stdlib 'weakref' to automatically garbage-collect BDD nodes
and BDD instances.
Change naming convention for bdd private functions
Fix issue #34, used BDD computed table