Add all of the files that describe the Davies et al. benchmarks.

This patch has all of the files that are required to reproduce the first few of the Davies et al. benchmarks, plus a section in the manual that describes these benchmarks.
Why do you remove this stuff here? Is this an issue caused by overwriting the file with an older version?