.gitignore: remove some generated code files from the repo