Fix minor typos, a line length, and a repeated include
My branch minor-tidy on github contains fixes for: * typos in comments * two line lengths * a repeated include file, which is now only listed once Branch: minor-tidy Repository: ​​​​​https://github.com/teor2345/tor.git
issue