Add a missing processed input file.
update make commands to build manual.pdf

Enable batchmode and fail if an error happens. This way we can test
automatically if the manual still builds.
Add files that were missing.

These files should have been part of commit 42ecced8a0e35b66898c6e71dd0c4a87e11d6d89
but were apparently forgotten.
Merge pull request #198 from tjhei/manual_compilation

update make commands to build manual.pdf
Merge pull request #197 from bangerth/add-missing-file

This partially addresses #196 by adding a processed input file we are currently missing.
Merge pull request #199 from bangerth/add-missing-files

These files should have been part of commit 42ecced but were apparently forgotten. This should fix building the pdf manual.
fix Makefile for manual.pdf

It turns out the first pdflatex command will fail because of missing
references. So ignore the return value.
Merge pull request #200 from tjhei/manual_compilation2

fix Makefile for manual.pdf