bashrc: define grep/sort as shell functions