add get_d_mat_transpose in the fmpz_mat module
add proven LLL certificate