part of #81, #82, #84

First part of feature 81: User Documentation (not finished, Index file
of User Documentation implemented)
#82: Help button integrated
#84: GUI for Documentation