[sr-dev] git:master:1536f4bb: .gitignore: ignore files that can be generated by compiling tools