VDR plugin: make osd menu configurable via config-file
https://github.com/vdr-projects/vdr-plugin-menuorg