toolbox: Improve doc comments
toolbox: Improve build system

The build system was enhanced to produce developer, user and documentation distributions.
The documentation product generation was improved.