.gitignore: Ignore some auxiliary files and dirs