lean(lp): fixing a bug in sparse_matrix pivoting on heads, and in apply_one_off_diagonal_from_left_to_U