Added gext shell function to grep files with a given extension