Memory leaks in DBAstar

[whoenig]

When running with the swap4 example, one quickly fills up the main memory. It looks like this might be caused by the current DBAstar code, which allocates lots of things with new and doesn't delete anything.

[quimortiz]

FYI: In my dynoplan project I use a vector of unique ptr for memory management, and the raw pointers to indicate non ownership