fix a test of Normaliz

Version 2.9 of the program normaliz returns a different answer, but it
appears to correspond to the same rational cone, because the rows of the
new matrix are a permutation of the rows of the old.