Update download links of E-ACSL to use local pdf files

_fc-plugins/e-acsl.md

@@ -3,14 +3,14 @@ layout: plugin
 title: E-ACSL
 description: Runtime Verification Tool
 key: main
-manual_pdf: http://frama-c.com/download/e-acsl/e-acsl-manual.pdf
+manual_pdf: /download/e-acsl/e-acsl-manual.pdf
 additional:
   - name:  "E-ACSL language reference manual"
     short: "Language reference"
-    link:  http://frama-c.com/download/e-acsl/e-acsl.pdf
+    link:  /download/e-acsl/e-acsl.pdf
   - name:  "E-ACSL language reference implementation manual"
     short: "Language implementation"
-    link:  http://frama-c.com/download/e-acsl/e-acsl-implementation.pdf
+    link:  /download/e-acsl/e-acsl-implementation.pdf
 distrib_mode: main
 ---