Improve name demangling, add 'demangle symbol' option.