Provide better documentation on ghosted vectors.

This includes a discussion of what ghosted vectors are and what their
semantics are.
Merge pull request #177 from bangerth/document-ghosted-vectors

Provide better documentation on ghosted vectors.