Video recording and editing with free open source tools