Extend documentation for the ffmpeg -timestamp option.