changed demangle to support unicode symbol names
Merge pull request #524 from complexmath/fixdemangle

changed demangle to support unicode symbol names