Fixes #5052 - minor updates in devel docs
Merge pull request #141 from tstrachota/docs

Fixes #5052 - minor updates in devel docs
Fixes #5417 - readable help for long options
Merge pull request #139 from tstrachota/help_format

Fixes #5417 - readable help for long options