too many "no debugging symbols found" messages from shared libs

[Eli Zaretskii]

> Date: Thu, 20 Nov 2008 17:34:40 -0800
> From: Doug Evans <dje@google.com>
> 
> How about this?
> 
> I changed the calls to have_{partial,full}_symbols to two new
> functions objfile_has_{partial,full}_symbols.  I think it's TRTTD
> here.
> This patch also adds a test for info_verbose so the messages are
> printed for shared libs if verbosity turned on.

This is fine with me, thanks.  Please also see if the manual needs any
updates for this change.