Add coverage, benchmarks, lint to Travis CI