bashrc_public: add alias sf to show filename from the output of grep.