Add a missing processed input file.
Merge pull request #197 from bangerth/add-missing-file

This partially addresses #196 by adding a processed input file we are currently missing.