Linux是操作系统吗？GNULinux又是什么？