update the table in manual showing which platforms are available in the distribution
update the table in manual showing which platforms are available in the
distribution

zhangzhehust/htcondor,zhangzhehust/htcondor,htcondor/htcondor,djw8605/htcondor,neurodebian/htcondor,djw8605/htcondor,djw8605/htcondor,zhangzhehust/htcondor,neurodebian/htcondor,zhangzhehust/htcondor,htcondor/htcondor,neurodebian/htcondor,zhangzhehust/htcondor,htcondor/htcondor,zhangzhehust/htcondor,djw8605/htcondor,neurodebian/htcondor,zhangzhehust/htcondor,neurodebian/htcondor,neurodebian/htcondor,djw8605/htcondor,neurodebian/htcondor,htcondor/htcondor,neurodebian/htcondor,djw8605/htcondor,djw8605/htcondor,htcondor/htcondor,htcondor/htcondor,djw8605/htcondor,neurodebian/htcondor,zhangzhehust/htcondor,htcondor/htcondor,djw8605/htcondor,zhangzhehust/htcondor,htcondor/htcondor