.gitignore: ignore some common temporary files