What is a shell in Linux