Demangle C++ symbols, closes #130

C++ symbols are now demangled during stack unwinding. A function is
provided to the library user to do this.

Please note that the demangling algorithm is different from the one used
in c++filt (which uses libiberty whic