doc/ffmpeg.texi: document the new -sdp_file option