[Feature] Seamless import/export for symbolic datasets using BDD representation.

[daemontus]

Loading/storing BDDs is a pain. This should be much more user friendly.

[daemontus]

This is currently blocked by the fact that we need the graph/context for a symbolic set, but it is not yet clear how this context should be serialized.