[doc] Update Changelog and man page for e-acsl-gcc.sh with the new

--print-mmodels option

src/plugins/e-acsl/doc/Changelog

@@ -15,7 +15,9 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
--* E-ACSL       [2016/01/22] Add an e-acsl-gcc.sh option (--rte|-a) allowing to
+-* E-ACSL       [2016/07/13] Add an e-acsl-gcc.sh option (--print--models)
+	        allowing to print the names of the supported memory models.
+-* E-ACSL       [2016/05/22] Add an e-acsl-gcc.sh option (--rte|-a) 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

src/plugins/e-acsl/man/e-acsl-gcc.sh.1

@@ -139,6 +139,9 @@ Valid arguments are:
 
 By default the Patricia trie  memory model is used.
 .TP
+.B --print-models
+Print the names of the supported memory models
+.TP
 .B -P, --production
 generate an optimized executable with all debug features disabled.
 Unoptimized executables (default) may lead to a significant