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.