[plugins] Convert to Markdown, normalize section names and URLs

_layouts/feature.html

@@ -14,8 +14,11 @@ title: Kernel & Plugins - Frama-C
       <div class="tabs">
         <div class="wrap">
 		  {% for tab in site.data.tabs %}
-			<a class="tabLink {% if page.active==forloop.index %}active locked{% endif %}" href="{{ tab.link }}">{{ tab.name }}</a> <em></em> 
-		  {% endfor %} 
+			<a class="tabLink {% if page.active==forloop.index %}active locked{% endif %}" href="{{ tab.link }}">{{ tab.name }}</a>
+                     {% if not forloop.last %}
+                         <em></em>
+                     {% endif %}
+                {% endfor %} 
 		
 		{% if page.active == 1 %}
           <div class="tabOptions">