Add --with-normaliz to configure
First use of libnormaliz

Conversion functions for vectors and matricies
NormalizTestCone for Hilbert basis computation