Require and document using kernel headers from "make headers_install"

[Roland McGrath]

> Is "GNU C library" or "GNU C Library" preferred?  Both are common (as is 
> "GNU library", meaning glibc rather than a more generic description for 
> all GNU libraries).

Originally we were consistent in saying "the GNU C Library", capitalized
as the proper name that it is.


Thanks,
Roland