Use Setting instead of SETTINGS

This allows changing websockets_ssl_* through the database.