[Changelog] Update for merge request !15 and a few stylistic updates

src/plugins/e-acsl/doc/Changelog

@@ -15,21 +15,22 @@
 #   E-ACSL: the Whole E-ACSL plug-in
 ###############################################################################
 
--* E-ACSL       [2016/01/15] Fixed several bugs related to incorrect partial
+-* E-ACSL       [2016/03/31] Improve performance of Patricia Trie memory model.
+-* E-ACSL       [2016/02/25] Fix 'make clean' in tests.
+-* E-ACSL       [2016/01/15] Fix several bugs related to incorrect partial
 	        initialization of tracked memory blocks in the E-ACSL runtime
 	        library.
--* E-ACSL       [2016/02/25] Fix 'make clean' in tests.
 
 ###########################
 Plugin E-ACSL 0.6 Magnesium
 ###########################
 
--* E-ACSL       [2016/01/22] Added an e-acsl-gcc.sh option allowing to skip
+-* E-ACSL       [2016/01/22] Add an e-acsl-gcc.sh option allowing to skip
 	        compilation of original sources.
 -* E-ACSL       [2016/01/15] Fix installation with custom --prefix.
 -* E-ACSL       [2016/01/05] Fix bug in the memory model that caused the
 	        tracked size of heap memory be computed incorrectly.
--  E-ACSL       [2015/12/15] Added a convenience script e-acsl-gcc.sh for
+-  E-ACSL       [2015/12/15] Add a convenience script e-acsl-gcc.sh for
 	        small runs of the E-ACSL plugin.
 -* E-ACSL       [2015/12/08] Fix bug #1817 about incorrect initialization of
 	        literal strings in global arrays with compound initializers.
@@ -107,9 +108,9 @@ Plugin E-ACSL 0.3 Fluorine_20130601
 	        running E-ACSL in another project (bts #!1473).
 -* E-ACSL       [2013/06/26] Fix crash with typedef on pointer types.
 -  E-ACSL       [2013/06/21] Fewer unknown locations.
--* E-ACSL       [2013/06/18] Fixed bug when generating RTEs on the E-ACSL
+-* E-ACSL       [2013/06/18] Fix bug when generating RTEs on the E-ACSL
 	        generated project.
--* E-ACSL       [2013/05/30] Fixed -e-acsl-debug n, with n >= 2.
+-* E-ACSL       [2013/05/30] Fix -e-acsl-debug n, with n >= 2.
 
 ###################################
 Plugin E-ACSL 0.2 Fluorine_20130401