bug#29778: grep seems to ignore GREP_OPTIONS

[Dennis]

For a long time I have used GREP_OPTIONS to set the
--ignore-case option. Suddenly it seems to be ignoring it.

I am running Debian Jessie and grep 2.20