Some minor documentation updates to make myself more familiar with git.
Merge pull request #3 from bangerth/master

Some minor documentation updates to make myself more familiar with git.