fixed old merge conflict in doc
changed some Z's to ZZ's in the documentation
changedprinted statement to be consistent with other tests
extended fmpz_mat_snf_diagonal to cope with negative entries
simplified modular hnf
Fixed bug with gcd of negative numbers, and updated tests to test for this