Merge branch 'develop'

Merge new Jenkinsfile

Jenkinsfile

@@ -20,6 +20,10 @@ pipeline {
       steps {
         sh "git config user.name ${env.GIT_USER}"
         sh "git config user.email ${env.GIT_MAIL}"
+        /* necessary to have access to the theme partials */
+        sshagent(credentials: ['status-im-auto-ssh']) {
+          sh 'git submodule update --init --recursive'
+        }
       }
     }