some small fixes (int -> unsigned int). we should try to get less
warnings with Wall!
first implementation of semilinear sets with ndds
newton now depends on libgenepi (there is already an option in
CMakeLists.txt) but code has to be guarded in some places for this to
work...