use ffmpeg with the mpdecimate filter: https://ffmpeg.org/ffmpeg-filters.html#toc-mpdecimate it says
"Drop frames that do not differ greatly from the previous frame in order to reduce frame rate."
