[RFA] Remove make_cleanup_restore_target_terminal

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

>> +  static terminal_state terminal_state;//  = terminal_is_ours;

Pedro> Stale comment?

Yes, thanks.  I'll push without this.

Tom