gstreamer-based video player with variable speed playback support