Fix coverage format in travis config