tools to edit/modify/encode video streams
