contrib/jenkins: remove duplicate "set -ex"There is already a "set -ex" on top of the file, no need to set itagain.Change-Id: Ia071f1f1d37cd1936d6a4001edfe2c5c335787b8