[tor-commits] [arm/master] Dropping the tor_tools module