A frontend for using mplayer and mencoder as a video recorder