Adds prefixed preferences manager (primarily) for extensions

This is based on @peterflynn's suggestion. The idea is to make it easy for extension authors to do the right thing and prefix their prefs so that they don't interfere with other extensions' prefs or core preferences.

to @redmunds