[tor-commits] [tor/master] Rename tor_process_destroy() to tor_process_handle_destroy().