mp_common: add function which accepts a format string to format playback time
screenshot: make it possible to format playback time in various ways