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