[tor-commits] [tor/master] add newly generated files to .gitignore