numpy: efficiently add rows of a matrix,"np.dot(np.dot(I, np.ones((7,), int)), mat)"