Changed tests to use fmpz_sgn rather than comparing with zero.
Small speedup of division.
Extend Kannan-Bachem to non-square full row rank.
Initial implementation of xgcd based hnf that returns the associated transformation matrix too.