(#113) documentation: manual on infrastructure and tools
Merge branch 'feature-0.x/113-documentation-manual-on-tools-rebase' into master-0.x

* feature-0.x/113-documentation-manual-on-tools-rebase:
  (#113) documentation: manual on infrastructure and tools