Demangler update:  This now demangles many more (all?) C++11 symbols.  Demangler tests updated.