Parsing FOBDDS: shared pointer to managers

[Pieter Van Hertum]

Only possible to parse 1 fobdd in file, because of the shared pointers in managers. Fobdds have weak pointers to its manager, so there is no more reference to the manager of the first bdd if you parse a second one.

Solution: Deleteme object (see barts LTCData.hpp)