[tor-commits] [arm/master] Finish moving header off tor_tools