.gitignore: Remove web/dia/overview.pdf.