travis: restore lighter benchmarks

Travis kills builds that do not output anything for 10 minutes.