extract isl_map_align_divs from isl_affine_hull.c

add isl_map_remove_empty_parts

extract out isl_basic_map_implicit_equalities from isl_basic_map_affine_hull

isl_map_affine_hull: add missing cow

rename isl_map_affine_hull.c to isl_affine_hull.c

add isl_basic_set_read_from_file

link in polylib library in builddir

keep cache of blocks of isl_ints

add some missing tests for invalid input

Ensure all elements in a constraints are zeroed out or explicitly set

isl_basic_map_is_empty: keep sample found for possible later reuse

remove_duplicate_constraints: also detect implicit equalites and conflicting constraints

isl_basic_set_sample: special case 0D and 1D sets

isl_basic_set_sample: remove equalities first

simplify constraints after combining constraints from different sets

remove spurious ; from isl_assert definition

reimplement isl_basic_map_is_empty in terms of isl_basic_set_sample

isl_basic_map_set_to_empty: remove superfluous check

isl_basic_{map,set}: explicitly store constraints defining div

These constraints are redundant, but we need then while performing
various operations, so it is easier to keep them available explicitly.

avoid preprocessor conditionals

isl_basic_map_is_empty: special case known empty basic sets

remove remnants of old "primitive" naming

isl_map_subtract: simplify and finalize parts before checking emptiness

isl_basic_map_gauss: handle redundant or conflicting equalities directly

Fix typo in isl_map_affine_hull

Fix serious bug in normalize_constraints

We would mistakenly relax constraints to include extra integer
points rather than tightening them to remove some rational points.

Initial version of the integer set library

This version is very incomplete and unoptimized.