[tor-commits] [tor/master] Rename "tell_event_loop_to_finish" to "...run_external_code"