Added more standard headers that are strictly required.

Added explicit input frame rate to ffmpeg command line since the assumed default is 25 fps and *not* the output frame rate.
Changed menu duration to 12 frames regardless of frame rate since this *should* be legal at 29.97 fps and it seems to avoid some problematic rounding errors.