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

[Tom Tromey]

>>>>> "Philippe" == Philippe Waroquiers <philippe.waroquiers@skynet.be> writes:

Philippe> So, I can either rollback the addition of quotes, or (slightly) cleanup
Philippe> the code above.
Philippe> What do you prefer ?
Philippe> (or any other suggestion about how to do quotes cleanly?).

What do you think of using quotes in most places, but not in "info tasks"?

Tom