[PATCH 4/5] addr2line: Add demangler support.