allow customizing encoding approach

[cdzombak]

rather than hardcoding ffmpeg, allow specifying eg. an encoding script that can call ffmpeg with whatever parameters you want. this also requires customizing the output file extension, since the program needs to know that to do sync-y things.