.travis.yml: separate benchmarking of source2source and execution