change nmod_mat_HNF_nonsquare() spec