doc: port tools documentation. index improvements.
Merge branch '1.3.x' of https://github.com/geosolutions-it/geobatch into 1.3.x