Retroactively updates the Changelog with Eva changes for Calcium.

Changelog

@@ -17,9 +17,17 @@
 Open Source Release <next-release>
 ##################################
 
+-   Eva       [2019/10/04] Evaluates ACSL predicates \is_plus_infinity and
+              \is_minus_infinity.
+-   Kernel    [2019/10/04] Supports macro INFINITY and NAN.
 o   Config    [2019/09/27] ocp-indent 1.7.0 is now used for indentation
+o   Eva       [2019/09/16] Dynamic registration of abstract values and domains:
+              developers of new domains no longer need to modify Eva's engine.
+-*  Kernel    [2019/09/13] Fixes Hptmap on keys with id greater than 2^28.
 -*  Makefile  [2019/09/12] Fixes #2378 - bytecode only compilation (patch
               contributed by madroach) and use -thread where needed.
+-*  Eva       [2019/08/21] Fixes the reduction by the negation of \initialized
+              and \dangling predicates on imprecise lvalues.
 -*  Kernel    [2019/08/20] Fixes a rare but critical bug which occured when
               Frama-C internally switched the current project in presence of >2
               projects and destroyed the old current project at about the same
@@ -40,6 +48,8 @@ o!  Sparecode [2019/07/26] Removed from Db. Use proper Sparecode API instead.
 -!  Kernel    [2019/07/24] OCaml version greater than or equal to 4.05.0 required.
 -   Kernel    [2019/07/24] Improve placeholders handling in -cpp-command
 o!  Kernel    [2019/07/23] Types in Properties are now records and not tuples
+-   Eva       [2019/07/09] Supports ACSL floating-point comparison operators
+              eq_float, le_float, eq_double, le_double, etc.
 o!  Kernel    [2019/06/28] removes AST constructors TCoerce, TCoerceE,
               PLCoercion, PLCoercionE, Psubtype and PLsubtype
 -*  Kernel    [2019/06/20] fixes dangling ref when removing unused static local