Add benchmarking in Travis CI script