.gitignore: ignore many things