Improved performance of the thick cut method.

Added an interface to use C integers instead of GMP integers in Smith Normal
Form methods (disabled now, should be set to get enabled when GMP library
is not present).