Merge branch 'v0.x' into 'main'

Fix path in GitLab CI

See merge request naaice/poet!25

.gitlab-ci.yml

@@ -108,7 +108,7 @@ pages:
   script:
     - pushd build_pages
     - cmake .. && make doxygen
-    - popd && mv build/docs/html/* public/
+    - popd && mv build_pages/docs/html/* public/
   artifacts:
     paths:
       - public

util/ci.Dockerfile

@@ -2,8 +2,7 @@ FROM debian
 
 RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
     && apt-get install -y \
-        cmake-curses-gui \
-        clangd \
+        cmake \
         git \
         libeigen3-dev \
         libopenmpi-dev \