Add build nova doc script

.gitlab-ci.yml

@@ -2,6 +2,7 @@ image: jojomi/hugo
 pages:
         stage: deploy
         script:
+                - sh build-nova-doc.sh
                 - cd /builds/osy/osy.pages.fel.cvut.cz
                 - hugo -s hugo -d public
                 - mv hugo/public public

build-nova-doc.sh

+#!/usr/bin
+set -eu
+cd nova/kern ; doxygen
+mv nova/kern/html hugo/static/nova