Video bookmarking frontend for mplayer and mplayer2