ELF shared library status.

[Richard Stallman]

This is important progress, because ELF is the format we want to use
in the GNU system, and shared libraries are a vital feature for the
system.