Fix public destructor in virtual base class


gcc rightfully complains:

```
warning: destructor called on non-final 'mozart::boostenv::BoostBigInt' that has virtual functions but non-virtual destructor [-Wdelete-non-virtual-dtor]
        { __p->~_Up(); }
          ^
```