Correctly run coverage in travis config