Demangling C++ symbols in Python / interface to abi::__cxa_demangle
