.gitignore: ignoring more unnecessary files