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
Add first couple of files for the Davies benchmarks.
Minor modifications of the input file.
Add a postprocessor written by Cedric Thieulot in support of the Davies benchmarks.
Minor edits.
Add the last postprocessor again, now that it's on the branch.
Resolve a conflict.