semilinear_set: initial version of the new representation

To build the old version of semilinear sets, run cmake with
-DOLD_SEMILINEAR_SET.