Merge pull request #3865 from SvenDowideit/add-jenkinsfile

Add docs checking Jenkinsfile

Jenkinsfile

@@ -0,0 +1,8 @@
+// Only run on Linux atm
+wrappedNode(label: 'docker') {
+  deleteDir()
+  stage "checkout"
+  checkout scm
+
+  documentationChecker("docs")
+}