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

_fc-plugins/e-acsl.md

@@ -32,12 +32,10 @@ More precisely, possible usages include:
 - verification of high-level properties (in conjunction for
   instance with the [Aoraï](aorai.html) or [SecureFlow](secureflow.html)
   plug-ins);
-
 - complementing static and dynamic analyses (i.e. trying to
   find test cases that trigger alarms generated by [Eva](eva.html) or act
   as counter-examples for annotations marked as unknown by [WP](wp.html)),
   in conjunction with the [StaDy](stady.html) plug-in;
-
 - debugging specifications, in conjunction with a test-case generator such as
   [PathCrawler](pathcrawler.html) or [AFL](http://lcamtuf.coredump.cx/afl)