dev-libs/isl version bump, fix URLs