ci.jpl: Increase LAVA timeout by 1000s =~ 15min

We have builds which seems to go ok, but e.g. last ~30 LAVA jobs don't
finish on time.

Signed-off-by: Paul Sokolovsky <paul.sokolovsky@linaro.org>
Change-Id: If1e507ea6dbddbc16201c10a857b469e34523db2
diff --git a/jenkins/ci.jpl b/jenkins/ci.jpl
index 82e99b9..7f6f2df 100644
--- a/jenkins/ci.jpl
+++ b/jenkins/ci.jpl
@@ -368,7 +368,7 @@
             withCredentials([usernamePassword(credentialsId: env.LAVA_CREDENTIALS, passwordVariable: 'LAVA_TOKEN', usernameVariable: 'LAVA_USER')]) {
               output = sh(script: """./tf-m-ci-scripts/lava_helper/lava_wait_jobs.py --job-ids ${all_jobs.join(",")} \
                           --lava-url ${env.LAVA_URL} --lava-user ${LAVA_USER} --lava-token ${LAVA_TOKEN} \
-                          --artifacts-path cfgs --lava-timeout 12000 \
+                          --artifacts-path cfgs --lava-timeout 13000 \
                           """, returnStdout: true).trim()
               println("--- output from lava_wait_jobs.py ---")
               println(output)