Merge branch 'feature/basile/eacsl-update-changelog' into 'master'

[eacsl] Update changelog

See merge request frama-c/frama-c!3082

src/plugins/e-acsl/doc/Changelog

@@ -25,6 +25,18 @@
 Plugin E-ACSL <next-release>
 ############################
 
+-* E-ACSL       [2021-02-24] Fix crash when running another analysis after
+                E-ACSL caused by E-ACSL breaking some internal kernel invariant
+                (frama-c/e-acsl#145).
+-  e-acsl-gcc   [2021-02-24] Try to find Frama-C binary in script or development
+                directory if not present in PATH (frama-c/e-acsl#104).
+-  e-acsl-gcc   [2021-02-24] Remove obsolete options from documentation and bash
+                completion script (frama-c/e-acsl#104).
+-  e-acsl-gcc   [2021-02-24] Deactivate Variadic translation when using
+                incompatible option --validate-format-strings
+                (frama-c/e-acsl#104).
+-  e-acsl-gcc   [2021-02-24] Do not load Frama-C plugins when retrieving share
+                and plugins paths (frama-c/e-acsl#104).
 -* E-ACSL       [2021-01-12] Fix crash when comparing two structs, which is
                 currently unsupported (frama-c/e-acsl#139).
 -* Makefile     [2021-01-05] Fix dependencies in bytecode-only compilation.