Improved portability, using GNU Autoconf and Automake. New and
much faster algorithms: exponential substitution (count --exp),
primal irrational decomposition (count --irr), non-unimodular
enumeration (count --maxdet=N), and all-primal irrational
decomposition (count --all-primal).