MINIX, l'Unix-like à micro-noyau