drop isl_set_drop_redundant_divs
drop isl_set_drop_redundant_divs

This function was introduced in 41b415e (isl_basic_set_project_out:
drop redundant divs in result, Thu Aug 13 16:49:43 2009 +0200) but
never ended up getting used.

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

tobig/isl,Meinersbur/isl,Meinersbur/isl,nicolasvasilache/isl,inducer/isl-mirror,nicolasvasilache/isl,nicolasvasilache/isl,nicolasvasilache/isl,PollyLabs/isl,Meinersbur/isl,inducer/isl-mirror,PollyLabs/isl,inducer/isl-mirror,nicolasvasilache/isl,PollyLabs/isl,inducer/isl-mirror,Meinersbur/isl,PollyLabs/isl,inducer/isl-mirror,tobig/isl,tobig/isl,tobig/isl,PollyLabs/isl