Name mangling scheme

It also very useful to have a standalone tool that can demangle names from clang generated output.