Early stop in the diff algorithms for diff --short

Created by  pmeunier  on December 7, 2021
OY3CGEHQCHMCPWQAXCW2SZCDIDTE2OB6CRFIDT7E2TCFFKXQ43XAC
Change contents