docs: rebuild mkdocs with material, white, favicon, repo_url and edit_url (#843)

docs fix: relative paths to docs images
docs: pipeline added to create automatically PR preview and rebuild docs on merge to master
docs: add highlight.js and adjust development and install pages
docs: add predicate and filter pics

Signed-off-by: Sandor Szücs <[email protected]>

Author: szuecs

delivery.yaml

@@ -17,3 +17,22 @@ pipeline:
       git status
       git diff
       cd packaging && make docker-build && git status && git diff && make docker-push
+- id: docs
+  type: script
+  overlay: ci/python
+  commands:
+  - desc: install deps
+    cmd: |
+      pip3 install mkdocs mkdocs-material
+  - desc: build docs
+    cmd: |
+      mkdocs build --strict
+      shopt -s extglob  # needed to use !(pr)
+      if [ "$CDP_PULL_REQUEST_NUMBER" ]; then
+        mkdir -p site/pr/#{CDP_PULL_REQUEST_NUMBER}
+        mv site/!(pr) site/pr/#{CDP_PULL_REQUEST_NUMBER}
+      fi
+  artifacts:
+  - type: docs
+    name: skipper
+    path: site