SMS dit: Bayesian Optimization for Probabilistic Programs