[tor-commits] [tor/master] Make server_port_cfg_t and port_cfg_t into separate headers.