add demangling, manual page for imageinfo