add Jenkinsfile and update prminitives

Jenkinsfile

@@ -0,0 +1,24 @@
+pipeline {
+	agent none
+	stages {
+		stage("Setup") {
+			agent any
+			steps {
+				sh 'pip install sphinx'
+			}
+		}
+		stage("Build") {
+			agent any
+			steps {
+				sh 'make -C docs html'
+			}
+		}
+		stage("Deploy") {
+			agent any
+			steps {
+				sh '/bin/rm -rf /var/www/html/docs/solidLib/* || echo ""'
+				sh 'rsync -a ./docs/_build/html/* /var/www/html/docs/solidLib/'
+			}
+		}
+	}
+}