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

add another main goal in the documentation
Merge pull request #10 from bangerth/fixes

Fix forgotten resizing of depth average files. Add an assertion.
Style fixes.
More style fixes.
Simplify some code. More style fixes.
Style fixes.
More style and documentation fixes.