A Bayesian approach to the constrained MSSM