[FFmpeg-devel] [PATCH v3 3/3] doc/fftools-common-opts: document log timing flags