Add a no-op Pool destructor
Add a no-op Pool destructor

This is to prevent Pythons over-eager leak detection to trigger
a false warning. bnc#483252.

ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver,ryppl/sat-solver