Added:

• Parameter names in function declarations.

Fixed:

• Fix potential dd_MatrixCanonicalize segfault.

• The cddlib.pc file now has correct linkage to cddlib (the non-gmp version).
  To link against the gmp version, you can use the new cddgmp.pc file.
  For instance::

  pkg-config cddlib --cflags --libs

  will fetch all compiler and link flags for the non-gmp version of cddlib,
  and::

  pkg-config cddgmp --cflags --libs

  will get them for the gmp version of cddlib.

• Copy certificate and handle errors correctly in dd_SRedundant
  for the V-representation code path

• cddlib is now thread-safe. We protect static variables with _Thread_local directives in the implementation, as provided by the C11 standard of the C language and supported by all supported recent compilers without adding any extra flags.

Fixed:

• Fix and error, where a non-redundant linearity could be considered redundant.
• Fix an optimization error in ViaShooting code so that the linear programs are now much smaller.
• Fixed memory leaks in the redundancy code.
• Updated version number in dd_DDVERSION define.

Fixed:

• extern C block in cdd.h header for C++ (thanks to @jengelh)

• header files are now installed to PREFIX/include/cddlib to avoid clashes
  with other libraries.
• configuration file for pkg-config added: assuming cddlib installed in
  known to pkg-config, "pkg-config --cflags cddlib" etc will
  work. (Otherwise, one would need PKG_CONFIG_PATH=/lib/pkgconfig).

• modernized autotooling
• mirrored code on GitHub
• introduced cddexec as a replacement of cdd_both_reps that many distributions packaged
• made randomization portable
• fix representation type in dd_MatrixAppendTo