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

add another main goal in the documentation
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.