Initial commit of the help docs into the eclipse help system:
documentation.user made a plugin
built html added to repository (better solution to be added later)