Renamed lib.settings.settings to lib.settings.config

This change accomodates the fact that the settings package may be used
in the future to handle dynamic alteration of settings in an interactive
context. Although there are no plans for this at present, the new name
is somewhat more appropriate.