The isl-polylib module was not being maintained as a proper separate project
and is only used inside barvinok, so it is better to integrate it.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>