0.5.2

This minor release adds a single quality of life improvement:

Bdd objects can now be "translated" between compatible BddVariableSet objects using BddVariableSet::transfer_from. For now, "compatible" is limited to variable renaming (i.e. we are not doing any reordering transformations), but this should still cover most of the typical use cases.