Delay the initialization of the documentaion widget and the loading of

the information about the available documentation file for the different
backends to the point where the user really wants to see this
information, i.e. when the user navigated to the documentation tab in
the settings for the specific backend. Introduced a new base class for
the backend settings widget to handle this logic in one central place
for all backend settings widgets.