Remove Frama-C mention in pub

html/publications.html

@@ -9,7 +9,7 @@ css: publications
     <input class="nav-check" id="nav-check" type="checkbox">
     <nav class="navigation">
       <ul>
-        <li><a href="#general">Frama-C Framework</a></li>
+        <li><a href="#general">Colibri Tools</a></li>
         {% for category in site.data.publications %}
           <li>
             <a class="nav-link" href="#{{ category.id }}">