gui: Add NameManglerView class and menu item to toggle C++ name mangling

A bit cludgily implemented, can be improved...