sde-download: fixed to match the file type case-insensitive

Note:

New versions of `file` return "XZ compressed data" instead of
"xz compressed data" like former versions did, which breaks xz
file type detection in 'sde-download'.

bin/sde-download

@@ -3,7 +3,7 @@
 # This copyright note is auto-generated by ./scripts/Create-CopyPatch.
 #
 # Filename: bin/sde-download
-# Copyright (C) 2006 - 2011 The OpenSDE Project
+# Copyright (C) 2006 - 2013 The OpenSDE Project
 # Copyright (C) 2004 - 2006 The T2 SDE Project
 # Copyright (C) 1998 - 2003 Clifford Wolf
 #
@@ -538,7 +538,7 @@ download_file_now() {
 			  echo "WARNING: Unknown file extension: $gzfile"
 			  typeexpr="." ;;
 		    esac
-		    if file "$gzfile.incomplete" | grep -v "$typeexpr"
+		    if file "$gzfile.incomplete" | grep -vi "$typeexpr"
 		    then
 			echo "ERROR: File type does not match" \
 			     "filename ($typeexpr)!"