What is Linux? Is it a kernel? Is it an operating system? What is GNU? Should I say GNU/Linux?