Convert menu-definitions and preferences into mind-maps

In the branch I converted menu-definitions and preferences into mindmaps. This allows for easier editing, restructuring and comparing. E.g. I discovered several minor inconsistencies between the same menu in different modes.

The mindmaps are converted to xml-files when building. Thus there are no changes to the code.