.bashrc: remove deprecated GREP_OPTIONS