Move circ_extensions_from_settings to a method on HopSettings.

Suggested by @opara; I should do this after !3069 (merged) is merged