Provide better documentation on ghosted vectors.

This includes a discussion of what ghosted vectors are and what their
semantics are.

This is in reference to a mailing list thread this week. The key addition in this patch is the glossary entry. Everything else is just cross references and small updates.