Changelog entry about the new e-acsl-gcc.sh options

src/plugins/e-acsl/doc/Changelog

@@ -15,6 +15,9 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
+-* E-ACSL       [2016/01/22] Add an e-acsl-gcc.sh option allowing to annotate
+	        the source program with memory-safety assertions prior to
+					instrumentation.
 -  E-ACSL       [2016/05/23] Re-implementation of the type system which
 	        improves the efficiency of the generated code over integers.
 -* E-ACSL       [2016/05/23] Fix bug #2191 about complicate structs and