Clarify documentation and verify what I say by adding tests.
Merge pull request #156 from bangerth/clarify-docs

Clarify documentation and verify what I say by adding tests. This documents has_active_dofs() in parallel.