.gitignore: ignore build-related files