bash/config: Change GREP_OPTIONS to fix Nokogiri installation.

See https://github.com/sparklemotion/nokogiri/issues/935.