rename Database preferences into server-sided preferences
try to add a new item to admin menu
ref #6566 Clean up of dependencies and i18n
ref #6566 Initial import of taxeditor.workbench plugin - moved general menu contributions to this plugin