ProBO: a Framework for Using Probabilistic Programming in Bayesian Optimization