[RFAv2] Output the Ada task name in more messages, output task names between "".

[Eli Zaretskii]

> From: Philippe Waroquiers <philippe.waroquiers@skynet.be>
> Cc: Philippe Waroquiers <philippe.waroquiers@skynet.be>
> Date: Sun,  4 Aug 2019 17:10:51 +0200
> 
> gdb/ChangeLog
> 2019-08-04  Philippe Waroquiers  <philippe.waroquiers@skynet.be>
> 
> 	* NEWS: Announce that Ada task names are now shown at more places,
> 	and between quotes.
> 	* gdb/ada-tasks.c (task_to_str): New function.
> 	(display_current_task_id): Call task_to_str.
> 	(task_command_1): Likewise.
> 	(info_task): Output quotes around task name.
> 	(print_ada_task_info): In non-mi mode, Properly align headers and data
> 	when task-id length is > 9 (9 is the default for a 32 bits CORE_ADDR).
> 
> gdb/doc/ChangeLog
> 2019-08-04  Philippe Waroquiers  <philippe.waroquiers@skynet.be>
> 
> 	* gdb.texinfo (Ada Tasks): Tell the task name is printed, update
> 	examples.
> 
> 2019-08-04  Philippe Waroquiers  <philippe.waroquiers@skynet.be>
> 
> 	* gdb.ada/rdv_wait.exp: Update to new task names.
> 	* gdb.base/task_switch_in_core.exp: Likewise.
> 	* gdb.base/info_sources_base.c: Likewise.

Thanks, the documentation parts look OK.