[tor-commits] [tor-design-2012/master] Add a Git revision header and update .gitignore