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

_layouts/feature.html

@@ -14,7 +14,7 @@ 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{% endif %}" href="{{ tab.link }}">{{ tab.name }}</a> <em></em> 
+			<a class="tabLink {% if page.active==forloop.index %}active locked{% endif %}" href="{{ tab.link }}">{{ tab.name }}</a> <em></em> 
 		  {% endfor %} 
 		
 		{% if page.active == 1 %}