Move user documentation to dedicated plugin
Rationale: the internal help browser of exploration.ui must have access the HTML files. Adding a dependency exploration.ui ->af3.rcp is not an option since it would introduce a circular dependency.
(from redmine: issue id 3835, created on 2019-10-07, closed on 2019-10-09)