Merge pull request #6276 from vladfi1/encode Allow users to specify the encoder used for framedumping.
