git fetch doc: add a new section to explain the ins & outs of pruning