add changelog entries for 21.0 (Scandium)

Changelog

@@ -17,6 +17,10 @@
 Open Source Release <next-release>
 ##################################
 
+###################################
+Open Source Release 21.0 (Scandium)
+###################################
+
 -*  Doc       [2020-05-07] Fixes internal refs in generated pdfs (fixes #2505)
 -*  Kernel    [2020-05-04] Accept UCN-encoded unicode char in ACSL (fixes #@849)
 o   Kernel    [2020-04-27] Plug-ins specific dirs now use Filepath instead of

src/plugins/e-acsl/doc/Changelog

@@ -19,6 +19,10 @@
 #   configure   configure
 ###############################################################################
 
+#############################
+Plugin E-ACSL 21.0 (Scandium)
+#############################
+
 -* E-ACSL       [2020-03-24] Fix automatic deactivation of plug-in Variadic when
                 E-ACSL is directly called from Frama-C without using
                 e-acsl-gcc.sh.

src/plugins/wp/Changelog

@@ -20,6 +20,10 @@
 #   <Prover>: prover
 ###############################################################################
 
+#########################
+Plugin WP 21.0 (Scandium)
+#########################
+
  - WP          [2020-04-10] Full support for Why3 IEEE float library
  - WP          [2020-04-10] Removed option -wp-check
  - WP          [2020-04-09] Added smoke tests for dead call (-wp-smoke-dead-call)