German and english translations of the menu and the preferences.
Minor fixes.
Merge branch 'gno-menu-revised' of https://github.com/AWeinb/Gnomenu into gno-menu-revised