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.