ref #7849: fix problems with preferences
ref #8078: move editorPreferencePredicates to cdmlib
only save admin prefs when it is edited
smaller issues in preferences part
ref #7849: correct enabling of local prefs with no allowOverride and sortOrder for areas in distr. editor
smaller changes in preferences
ref #7849: continue adapt db and local preference pages
ref #7849: improve DB preference handling and use editorpreferencePredicates keys also for local preferences
ref #7922: add preference to save distribution editor factual data to their own fact
ref #7849: do not save preferences if page was not edited
ref #7849: harmonize admin and local preferences for distribution editor and use drop down instead of radio buttons