Seol mar théacs é seo: Learning a strategy for adapting a program analysis via Bayesian optimisation