Add a new method to prune unused time mappings (i.e. which aren't used by any current media playlist). Do that when doing flushing seeks. Could be used in other places later too. Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/2839>