Fix leak in VirtualRefinement
This ensures that allocated memory is freed by using a unique_ptr instead of a raw pointer to implement the singleton. This fixes flyspray/FS#1718 (closed).
This ensures that allocated memory is freed by using a unique_ptr instead of a raw pointer to implement the singleton. This fixes flyspray/FS#1718 (closed).