This is v3 of my patch series to demangle minimal symbol names in
worker threads.
v2 was here:
https://sourceware.org/ml/gdb-patches/2019-05/msg00448.html
This version adds control over the maximum number of threads to use,
and attempts to address the documentation review comments.
Tom