[tor-commits] [tor/master] Move dir_server_t into its own header.