Don't run optimization coach benchmarks in travis