How grep got its name