Give mapped_index_base a virtual destructor This changes mapped_index_base to have a virtual destructor, so it can be destroyed via its base class.