Better server test in redirect() of URL helper

"Location" header bugs are specific to IIS; previous test was matching
all HTTP servers under Windows.

This test isn't perfect yet ($_SERVER['SERVER_SOFTWARE'], which
corresponds to the "Server" header of HTTP response, might be missing),
but there is no perfect test.

"Refresh" method makes the window blank for quite a noticeable time,
so let's not affect other servers because of IIS.
diff --git a/system/helpers/url_helper.php b/system/helpers/url_helper.php
index 57208c9..b1f5ecc 100644
--- a/system/helpers/url_helper.php
+++ b/system/helpers/url_helper.php
@@ -534,7 +534,7 @@
 		}
 
 		// IIS environment likely? Use 'refresh' for better compatibility
-		if (DIRECTORY_SEPARATOR !== '/' && $method === 'auto')
+		if ($method === 'auto' && isset($_SERVER['SERVER_SOFTWARE']) && strpos($_SERVER['SERVER_SOFTWARE'], 'Microsoft-IIS') !== FALSE)
 		{
 			$method = 'refresh';
 		}