Don't write to inferior_ptid in target.c
    
    gdb/ChangeLog:
    2020-06-18  Pedro Alves  <palves@redhat.com>
    
    	* target.c (generic_mourn_inferior): Use switch_to_no_thread
    	instead of writing to inferior_ptid.