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