Website setup (#2855)

* doc: Initial setup for website

* doc: Updated DEVELOPER_MANUAL.md

* fix: Updated k-web-theme

* fix: Updated k-web-theme

* feat: Upgraded k-web-theme to the latest

Author: shd101wyy

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "web/k-web-theme"]
+	path = web/k-web-theme
+	url = https://github.com/runtimeverification/k-web-theme

Dockerfile

@@ -11,6 +11,11 @@ RUN    apt update              \
            libtinfo-dev        \
            curl git make unzip
 
+RUN curl -sL https://deb.nodesource.com/setup_14.x | bash -
+RUN    apt-get update               \
+    && apt-get upgrade --yes        \
+    && apt-get install --yes nodejs
+
 ARG STACK=2.5.1
 RUN curl -sSL https://raw.githubusercontent.com/commercialhaskell/stack/v$STACK/etc/scripts/get-stack.sh | sh
 
@@ -38,3 +43,11 @@ RUN    ( cd .tmp-haskell && stack build --only-snapshot --test --bench --haddock
 ADD --chown=user:user docker/ssh/config .ssh/
 RUN    git config --global user.email "[email protected]" \
     && git config --global user.name  "RV Jenkins"
+
+RUN mkdir -p ~/.ssh                                                   \
+    && echo 'host github.com'                       > ~/.ssh/config   \
+    && echo '    hostname github.com'              >> ~/.ssh/config   \
+    && echo '    user git'                         >> ~/.ssh/config   \
+    && echo '    identityagent SSH_AUTH_SOCK'      >> ~/.ssh/config   \
+    && echo '    stricthostkeychecking accept-new' >> ~/.ssh/config   \
+    && chmod go-rwx -R ~/.ssh

Jenkinsfile

@@ -114,6 +114,38 @@ pipeline {
         }
       }
     }
+    stage('Deploy') {
+      when { branch 'master' }
+      stages {
+        stage('GitHub Pages') {
+          steps {
+            sshagent(['rv-jenkins-github']) {
+              dir('project-site') {
+                sh '''
+                  git clone 'ssh://github.com/kframework/kore.git'
+                  cd kore
+                  git checkout -B gh-pages origin/master
+                  git submodule update --init --recursive -- ./web
+                  cd web
+                  npm install
+                  npm run build
+                  npm run build-sitemap
+                  cd -
+                  mv web/public_content ./
+                  rm -rf $(find . -maxdepth 1 -not -name public_content -a -not -name .git -a -not -path . -a -not -path .. -a -not -name CNAME)
+                  mv public_content/* ./
+                  rm -rf public_content
+                  git add ./
+                  git commit -m 'gh-pages: Updated the website'
+                  git merge --strategy ours origin/gh-pages --allow-unrelated-histories
+                  git push origin gh-pages
+                '''
+              }
+            }
+          }
+        }
+      }
+    }
   }
   post {
     unsuccessful {