jenis jenis linux beserta penemunya