Envoyer par SMS: Bayesian Optimization for Probabilistic Programs