update documentation with s/debci/debci-batch/