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