Split the concept of Settings into UserSetting vs InstanceProperties

(Not sure about the name "Fact".)

It'd be nice to completely distinguish user settings (= what the end user can choose to change) vs instance facts (e.g. the version of weboob, what the administrator configured...). It adds some unnecessary complexity in the Settings model.