Generalized Binary Serialization in the Manager for all Decision Diagrams

To create a save and load option in FrEddy, a generalized serialization should be added. The user should be able to decide which roots of a DD to save, and a representation of those trees will stored into a file. Those roots can be loaded from the file after restarting the program to restore the trees.