Refine the user settings facilities, including:
- using a promise for all setters and getters, for consistency
- fix a mistake in the the secure getsetters
- add a user settings configuration file
- include detailed description of the settings_manager arrangement

Still untested, and the application of user_settings.js is not yet
implemented, as well.
Update to latest version of the wiki.