Augment the documentation.
Merge pull request #8 from bangerth/master

Augment the documentation.
add another main goal in the documentation
Merge pull request #9 from tjhei/editmanual

add another main goal in the documentation
Merge branch 'master' into direct_solver
Fixed introspection indexing.
Fix forgotten resizing of depth average files. Add an assertion.
Merge pull request #10 from bangerth/fixes

Fix forgotten resizing of depth average files. Add an assertion.
Updated some hardcoded block indices to use introspection
Changed what appears to be a copy-paste error.
Use introspection in places where block incices had been hard-coded.
Merge pull request #1 from jperryhouts/hardcoded_blocks_patch

Hardcoded blocks patch
Style fixes.
More style fixes.
Simplify some code. More style fixes.
Style fixes.
More style and documentation fixes.
Merge pull request #11 from bangerth/fixes

Style and documentation fixes
fix .gitignore
Merge branch 'master' into direct_solver