shell.c: remove unused function: echo()