BOSS: Bayesian Optimization over String Spaces