.bashrc: remove GREP_OPTIONS, it is deprecated by grep