[XS] Change in onomondo-ipa[master]: contrib/jenkins: new script