travis.yml: run coverage