"set demangle"

[Michael Elizabeth Chastain]

Daniel Jacobowitz writes:

  (gdb) set demangle-style
  Requires an argument. Valid arguments are none, auto, gnu, lucid, arm, hp, edg, gnu-v3, java, gnat.

Well, "arm" is obsolete and on its way out.  I bet that "lucid" is dying too.
I know that both hp and edg are moving to the multivendor ABI (which needs
a better name than "gnu-v3").  "gnu" should be named "gnu-v2".

That leaves "auto", "gnu-v2", "gnu-v3", "java", and "gnat".  I think
we can also disambiguate those.  So I think the whole demangle-style
user variable could be obsoleted.

Michael C