Try to run with coverage reports in Travis

This is mostly for testing impact of coverage reports on CI speed.