feat: update to latest rocq -> fix "make all && make html"

Author: srghma

rocqdocjs/example/Makefile.coq.local rocqdocjs/example/Makefile.rocq.localrocqdocjs/example/Makefile.coq.local renamed to rocqdocjs/example/Makefile.rocq.local

@@ -25,4 +25,6 @@
     </span>
   </div>
   <div id="content" tabindex="-1" onblur="document.getElementById('content').focus()">
-    <div id="main">
+    <div id="main"></div>
+  </div>
+</body>

rocqdocjs/example/_CoqProject rocqdocjs/example/_RocqProjectrocqdocjs/example/_CoqProject renamed to rocqdocjs/example/_RocqProject

@@ -109,7 +109,7 @@ html, body {
 @media only screen { /* no div with internal scrolling to allow printing of whole content */
     body {
         display: flex;
-        flex-direction: column 
+        flex-direction: column
     }
 
     #content {