[patch 2/2+rfc+doc] Install gcore by default (+new man page)

[Eli Zaretskii]

> Date: Tue, 9 Apr 2013 09:15:20 +0200
> From: Jan Kratochvil <jan.kratochvil@redhat.com>
> Cc: Eli Zaretskii <eliz@gnu.org>
> 
> Hi Eli,
> 
> I have probably forgotten to mention it in the NEWS file.

The addition to NEWS is fine with me.

Thanks.