Removed the setting "local documentation".

This was not implemented for all backends, is a rarely used feature
and is also very heavily colliding now  with the new embedded documentation.
The already available implementations in Backend::helpUrl() return theURL
 to the official online documentation will be used a fallback solution in case
no embedded documentation is installed for the backend.