Ignore intermediate files

This differs from master's .gitignore in that *.pdf is not ignored.