What is a Linux shell