Merge branch 'attempt-to-fix-search' into 'dev'

Attempt to fix search.

See merge request ligolang/ligo!572

.gitlab-ci.yml

@@ -70,7 +70,8 @@ dont-merge-to-master:
     # move internal odoc documentation to the website folder
     - mv ../../_build/default/_doc/_html/ build/odoc
   after_script:
-    - cp -r gitlab-pages/website/build public
+    - cp -r gitlab-pages/website/build public    
+    - cp -r gitlab-pages/website/sitemap.xml public/sitemap.xml
   artifacts:
     paths:
       - public