This adds gdb::task_group, a convenient way to group background tasks and then call a function when all the tasks have completed.
Tom Tromey