Bayesian design for dichotomous repeated measurements with autocorrelation