.gitignore: cleanup old stuff