Release: update ANNOUNCEMENT and update Copyrights.

ANNOUNCEMENT

@@ -35,9 +35,20 @@ Known issues
   quicklisp and have a C compiler accessible to ECL, you may use
   (ext:install-c-compiler) to switch back to the Lisp-to-C compiler.
 
+Changes since 13.5.1
+====================
 
-Changes since last release
-==========================
+* Features coverity scan model, ffi-unload-module implementation,
+  probably more.
+
+* Build system
+  enhancements, parallel builds, fixes, simplifications, cleanups,
+  maintenance.  minor cleanup, maintenance.
+
+* Numerous fixes
+
+Changes since 12.7.1
+====================
 
 Some highlights of this release are:
 

Copyright

@@ -1,5 +1,6 @@
 ---- BEGINNING OF COPYRIGHT FOR THE ECL CORE ENVIRONMENT ------------
 
+  Copyright (c) 2015, Daniel Kochmański
   Copyright (c) 2000, Juan Jose Garcia Ripoll
   Copyright (c) 1990, 1991, 1993 Giuseppe Attardi
   Copyright (c) 1984 Taiichi Yuasa and Masami Hagiya

src/lsp/top.lsp

@@ -402,6 +402,7 @@ The top-level loop of ECL. It is called by default when ECL is invoked."
 	(format t "~%Copyright (C) 1984 Taiichi Yuasa and Masami Hagiya~@
 Copyright (C) 1993 Giuseppe Attardi~@
 Copyright (C) 2000 Juan J. Garcia-Ripoll
+Copyright (C) 2015 Daniel Kochmański
 ECL is free software, and you are welcome to redistribute it~@
 under certain conditions; see file 'Copyright' for details.")
 	(format *standard-output* "~%Type :h for Help.  "))