[tor-commits] [arm/master] Dropping TorCtl from our gitignore