Update icons + add documentation build in Jenkinsfile

Jenkinsfile

@@ -26,16 +26,19 @@ pipeline{
           npm install uglifycss
           npm install typescript
           npm install @types/jquery
-          
+          npm i typedoc@0.19.0
           buildir="build"
           [ -d "$buildir" ] && rm -rf "$buildir"
           export BUILDDIR="$WORKSPACE/$buildir/opt/www/htdocs/os"
+          mkdir doc
+          export DOCDIR="$WORKSPACE/doc"
           make release
+          make doc
         '''
         script {
             // only useful for any master branch
             //if (env.BRANCH_NAME =~ /^master/) {
-            archiveArtifacts artifacts: 'd.ts/, build/', fingerprint: true
+            archiveArtifacts artifacts: 'd.ts/, build/, doc/', fingerprint: true
             //}
         }
       }

Makefile

@@ -227,6 +227,7 @@ ar:
 release: main uglify
 
 doc:
+	# npm i typedoc@0.19.0
 	./node_modules/.bin/typedoc --mode file --excludeNotExported  --hideGenerator  --name "AntOS API" --out $(DOCDIR)
 
 test: build_javascripts